scala
.
tools
.
nsc
.
transform
.
patmat
.
Solving
CNF
trait
CNF
extends
PropositionalLogic
Linear Supertypes
Solving.PropositionalLogic
,
AnyRef
,
Any
Known Subclasses
OptimizingMatchTranslator
,
Solver
Type Hierarchy
Learn more about scaladoc diagrams
CNF
Solver
PropositionalLogic
Ordering
Alphabetic
By inheritance
Inherited
CNF
PropositionalLogic
AnyRef
Any
Implicitly
by StringAdd
by StringFormat
by Ensuring
by ArrowAssoc
Hide All
Show all
Learn more about member selection
Visibility
Public
All
Type Members
trait
AbsVar
extends
AnyRef
Definition Classes
PropositionalLogic
case class
And
(
a:
Prop
,
b:
Prop
)
extends
Prop
with
Product
with
Serializable
Definition Classes
PropositionalLogic
type
Clause
=
Set
[
Lit
]
abstract
type
Const
Definition Classes
PropositionalLogic
case class
Eq
(
p:
Var
,
q:
Const
)
extends
Prop
with
Product
with
Serializable
Definition Classes
PropositionalLogic
type
Formula
=
ArrayBuffer
[
Clause
]
Definition Classes
CNF
→
PropositionalLogic
type
FormulaBuilder
=
ArrayBuffer
[
Clause
]
Definition Classes
CNF
→
PropositionalLogic
abstract
type
Lit
type
Model
=
Map
[
Sym
,
Boolean
]
Definition Classes
PropositionalLogic
case class
Not
(
a:
Prop
)
extends
Prop
with
Product
with
Serializable
Definition Classes
PropositionalLogic
case class
Or
(
a:
Prop
,
b:
Prop
)
extends
Prop
with
Product
with
Serializable
Definition Classes
PropositionalLogic
class
Prop
extends
AnyRef
Definition Classes
PropositionalLogic
trait
PropMap
extends
AnyRef
Definition Classes
PropositionalLogic
trait
PropTraverser
extends
AnyRef
Definition Classes
PropositionalLogic
abstract
case class
Sym
(
variable:
Var
,
const:
Const
)
extends
Prop
with
Product
with
Serializable
Definition Classes
PropositionalLogic
abstract
type
Tree
Definition Classes
PropositionalLogic
abstract
type
Type
Definition Classes
PropositionalLogic
abstract
type
TypeConst
<:
Const
Definition Classes
PropositionalLogic
trait
TypeConstExtractor
extends
AnyRef
Definition Classes
PropositionalLogic
class
UniqueSym
extends
Sym
Definition Classes
PropositionalLogic
abstract
type
ValueConst
<:
Const
Definition Classes
PropositionalLogic
trait
ValueConstExtractor
extends
AnyRef
Definition Classes
PropositionalLogic
abstract
type
Var
<:
AbsVar
Definition Classes
PropositionalLogic
trait
VarExtractor
extends
AnyRef
Definition Classes
PropositionalLogic
Abstract Value Members
abstract
val
EmptyModel
:
Model
Definition Classes
PropositionalLogic
abstract
def
Lit
(
sym:
Sym
,
pos:
Boolean
=
true
)
:
Lit
abstract
val
NoModel
:
Model
Definition Classes
PropositionalLogic
abstract
val
NullConst
:
Const
Definition Classes
PropositionalLogic
abstract
def
TypeConst
:
TypeConstExtractor
Definition Classes
PropositionalLogic
abstract
def
ValueConst
:
ValueConstExtractor
Definition Classes
PropositionalLogic
abstract
val
Var
:
VarExtractor
Definition Classes
PropositionalLogic
abstract
def
cnfString
(
f:
Formula
)
:
String
Definition Classes
PropositionalLogic
abstract
def
findAllModelsFor
(
f:
Formula
)
:
List
[
Model
]
Definition Classes
PropositionalLogic
abstract
def
findModelFor
(
f:
Formula
)
:
Model
Definition Classes
PropositionalLogic
abstract
def
prepareNewAnalysis
()
:
Unit
Definition Classes
PropositionalLogic
Concrete Value Members
final
def
!=
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
!=
(
arg0:
Any
)
:
Boolean
Definition Classes
Any
final
def
##
()
:
Int
Definition Classes
AnyRef → Any
def
+
(
other:
String
)
:
String
Implicit information
This member is added by an implicit conversion from
CNF
to
StringAdd
[
CNF
] performed by method StringAdd in scala.Predef.
Definition Classes
StringAdd
def
->
[
B
]
(
y:
B
)
: (
CNF
,
B
)
Implicit information
This member is added by an implicit conversion from
CNF
to
ArrowAssoc
[
CNF
] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Annotations
@inline
()
def
/\
(
props:
Iterable
[
Prop
]
)
:
Prop
Definition Classes
PropositionalLogic
final
def
==
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
==
(
arg0:
Any
)
:
Boolean
Definition Classes
Any
object
AnalysisBudget
Definition Classes
PropositionalLogic
object
False
extends
Prop
with
Product
with
Serializable
Definition Classes
PropositionalLogic
object
Sym
extends
Serializable
Definition Classes
PropositionalLogic
object
True
extends
Prop
with
Product
with
Serializable
Definition Classes
PropositionalLogic
def
\/
(
props:
Iterable
[
Prop
]
)
:
Prop
Definition Classes
PropositionalLogic
def
addFormula
(
buff:
FormulaBuilder
,
f:
Formula
)
:
Unit
Definition Classes
CNF
→
PropositionalLogic
def
andFormula
(
a:
Formula
,
b:
Formula
)
:
Formula
Definition Classes
CNF
→
PropositionalLogic
final
def
asInstanceOf
[
T0
]
:
T0
Definition Classes
Any
def
clause
(
l:
Lit
*
)
:
Clause
def
clone
()
:
AnyRef
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
ensuring
(
cond: (
CNF
) ⇒
Boolean
,
msg: ⇒
Any
)
:
CNF
Implicit information
This member is added by an implicit conversion from
CNF
to
Ensuring
[
CNF
] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def
ensuring
(
cond: (
CNF
) ⇒
Boolean
)
:
CNF
Implicit information
This member is added by an implicit conversion from
CNF
to
Ensuring
[
CNF
] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def
ensuring
(
cond:
Boolean
,
msg: ⇒
Any
)
:
CNF
Implicit information
This member is added by an implicit conversion from
CNF
to
Ensuring
[
CNF
] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
def
ensuring
(
cond:
Boolean
)
:
CNF
Implicit information
This member is added by an implicit conversion from
CNF
to
Ensuring
[
CNF
] performed by method Ensuring in scala.Predef.
Definition Classes
Ensuring
final
def
eq
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
def
eqFreePropToSolvable
(
p:
Prop
)
:
Formula
Definition Classes
CNF
→
PropositionalLogic
def
equals
(
arg0:
Any
)
:
Boolean
Definition Classes
AnyRef → Any
def
finalize
()
:
Unit
Attributes
protected[
java.lang
]
Definition Classes
AnyRef
Annotations
@throws
(
classOf[java.lang.Throwable]
)
def
formatted
(
fmtstr:
String
)
:
String
Implicit information
This member is added by an implicit conversion from
CNF
to
StringFormat
[
CNF
] performed by method StringFormat in scala.Predef.
Definition Classes
StringFormat
Annotations
@inline
()
def
formula
(
c:
Clause
*
)
:
Formula
def
formulaBuilder
:
ArrayBuffer
[
Set
[
Lit
]]
Definition Classes
CNF
→
PropositionalLogic
def
formulaBuilderSized
(
init:
Int
)
:
ArrayBuffer
[
Clause
]
def
gatherVariables
(
p:
Prop
)
:
Set
[
Var
]
Definition Classes
PropositionalLogic
final
def
getClass
()
:
Class
[_]
Definition Classes
AnyRef → Any
def
hashCode
()
:
Int
Definition Classes
AnyRef → Any
final
def
isInstanceOf
[
T0
]
:
Boolean
Definition Classes
Any
final
def
ne
(
arg0:
AnyRef
)
:
Boolean
Definition Classes
AnyRef
final
def
notify
()
:
Unit
Definition Classes
AnyRef
final
def
notifyAll
()
:
Unit
Definition Classes
AnyRef
def
propToSolvable
(
p:
Prop
)
:
Formula
Definition Classes
PropositionalLogic
def
removeVarEq
(
props:
List
[
Prop
]
,
modelNull:
Boolean
=
false
)
: (
Formula
,
List
[
Formula
])
Definition Classes
PropositionalLogic
def
simplifyFormula
(
a:
Formula
)
:
Formula
Definition Classes
CNF
→
PropositionalLogic
final
def
synchronized
[
T0
]
(
arg0: ⇒
T0
)
:
T0
Definition Classes
AnyRef
def
toFormula
(
buff:
FormulaBuilder
)
:
Formula
Definition Classes
CNF
→
PropositionalLogic
def
toString
()
:
String
Definition Classes
AnyRef → Any
final
def
wait
()
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
,
arg1:
Int
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
final
def
wait
(
arg0:
Long
)
:
Unit
Definition Classes
AnyRef
Annotations
@throws
(
...
)
def
→
[
B
]
(
y:
B
)
: (
CNF
,
B
)
Implicit information
This member is added by an implicit conversion from
CNF
to
ArrowAssoc
[
CNF
] performed by method ArrowAssoc in scala.Predef.
Definition Classes
ArrowAssoc
Inherited from
Solving.PropositionalLogic
Inherited from
AnyRef
Inherited from
Any
Inherited by implicit conversion StringAdd from
CNF
to
StringAdd
[
CNF
]
Inherited by implicit conversion StringFormat from
CNF
to
StringFormat
[
CNF
]
Inherited by implicit conversion Ensuring from
CNF
to
Ensuring
[
CNF
]
Inherited by implicit conversion ArrowAssoc from
CNF
to
ArrowAssoc
[
CNF
]
Ungrouped