|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
bwdImage
method here.
CFANode
a node of a CFA
a CFA node contains
-- a unique identity
-- a string representation
-- an mvset for representing node data
-- a set of edges pointing to other CFANodesCParserUtil
here.compile
method here.
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.
declarePropositional
method here.
pDecl
with the vc
and also stores a reference to v in pDecl (to prevent CVCL from garbage
collecting v).
DynamicProofDisplay
instance.
expand
until the proof is
expanded as much as possible
ExprAlgebra
here.firstCube
.
fwdImage
method here.
getParser
method here.
getParser
method here.
getPProgram
method here.
getProgram (fac, file, false)
getProgram
method here.
label
getVariableIds
method here.
getVariableIds
method here.
getVariableIds
method here.
getVarNames
method here.
getVarNames
method here.
CParserUtil
here.indentPrefix
set
is an element of this set.
MinUpSet
instance.
MvSetMvRelation
instance.
MvSetUpsetAlgebra
instance.
newPredicate
creates a new predicate corresponding
to name.
VariableTable
here.out
in a nice format.
recSearch
method here.
recSearch
method here.
parse()
with the given tokens.
seal
method here.
setMaxDDVars
method here.
size
method here.
toMvSet
method here.
TraceGenerator
instance.
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.
variableMap
method here.
variableMap
method here.
VariableTable
here.VariableTable
instance.
VariableTable
here.VariableTable
instance.
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |