|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
ArrayMarkedList
is a extention of List that allows
to mark a position in the list and later go back to it.ArrayMarkedList
instance.
ArrayMarkedList
instance given an
initial list.
i =
values[i]
leads to terminal
, and all other assignments
lead to bot
.
v
.
printColumn
createCase
creates a case relative to argIdx
this is somewhat simillar to Ite (if-then-else) in CUDD
but extended to more than two children.
cubeIterator
.
CuddAdd
instance.
declareDefine
method here.
declareEnumerated
declares a variable of enumerated type
declareEnumerated
declares a variable of enumerated type
declarePropositional
method here.
DynamicProofDisplay
instance.
MvSet
expand
until the proof is
expanded as much as possible
FilePanel
instance relative to the
user's home directory.
FilePanel
instance relative to a given
directory.
firstCube
.
v
var
.
getVariableIds
method here.
getVarNames
method here.
Set
interface backed up by an
IdentityHashMap
.IdentityHashMap
has default initial maximum size of (21).
IdentityHashMap
has the initial expected maximum size of expectedMaxSize
indentPrefix
set
is an element of this set.
var
and children
children
.
MDDNode
with root
level level
and children children
.
MarkedList
is a extention of List that allows to mark
a position in the list and to go back to it.MinUpSet
instance.
MvSetMvRelation
instance.
MvSetMvRelation
instance.
MvSetUpsetAlgebra
instance.
parse()
with the given tokens.
SeqMvRelation
instance.
size
method here.
TeeBufferedReader
instance specifying
source and logFile.
TeeBufferedReader
instance specifying
a source only
TeeBufferedReader
instance.
MvSet
over pre- and
post-variables, if possible.
UpSetAlgebra
represents a large lattice of upsets
Each element is encoded as an ordered list of integers, each integer
corresponding to a minimal element of some lattice.UpSetAlgebra
Constructs an UpSet lattice with _mintermSize minterm elements
variableMap
method here.
VariableTable
here.VariableTable
instance.
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |