|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.toronto.cs.mvset.AbstractMvSetFactory
edu.toronto.cs.cfa.CFAMvSetFactory
public class CFAMvSetFactory
CFAMvSetFactory.java Created: Sun May 30 18:55:34 2004
Nested Class Summary | |
---|---|
class |
CFAMvSetFactory.CFAMvRelation
|
class |
CFAMvSetFactory.CFAMvSet
|
Field Summary |
---|
Fields inherited from interface edu.toronto.cs.mvset.MvSetFactory |
---|
DONT_CARE |
Constructor Summary | |
---|---|
CFAMvSetFactory(MvSetFactory _factory,
CFA _cfa)
|
Method Summary | |
---|---|
MvSet |
bot()
|
MvSet |
buildCube(int[] varIndex)
builds a cube out of variables |
MvSet |
createCase(int argIdx,
MvSet[] children)
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. |
MvSet |
createConstant(AlgebraValue value)
Given a value in L creates a function f(x_0, x_1, ...) = value |
MvSet |
createPoint(AlgebraValue[] args,
AlgebraValue value)
Creates a point function f (args) = value = 0 otherwise |
MvSet |
createProjection(int argIdx)
Given an argument index (0 <= argIdx < n) constructs a projection function f(x_0, x_1, ...) = x_argIdx |
static void |
dumpMvSet(MvSet mvSet)
|
MvSet |
embed(int nodeId,
MvSet mvSet)
|
MvSet |
embedMvSet(MvSet mvSet)
|
CFA |
getCFA()
|
MvRelation |
getMvRelation()
|
MvSetFactory |
getMvSetFactory()
|
MvSet |
infoBot()
|
MvSet |
infoTop()
|
CFAMvSetFactory.CFAMvSet |
makeMvSet(CFA v,
java.lang.String name)
|
MvSet |
top()
|
MvSet |
var(int arg,
AlgebraValue argVal,
AlgebraValue value)
Builds an mvset corresponding to (arg = argVal) /\ value |
Methods inherited from class edu.toronto.cs.mvset.AbstractMvSetFactory |
---|
getAlgebra, renew |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public CFAMvSetFactory(MvSetFactory _factory, CFA _cfa)
Method Detail |
---|
public MvRelation getMvRelation()
public MvSetFactory getMvSetFactory()
public CFA getCFA()
public MvSet createConstant(AlgebraValue value)
MvSetFactory
public MvSet createProjection(int argIdx)
MvSetFactory
public MvSet embed(int nodeId, MvSet mvSet)
public MvSet embedMvSet(MvSet mvSet)
public MvSet top()
public MvSet bot()
public MvSet infoTop()
infoTop
in interface MvSetFactory
infoTop
in class AbstractMvSetFactory
public MvSet infoBot()
infoBot
in interface MvSetFactory
infoBot
in class AbstractMvSetFactory
public MvSet createCase(int argIdx, MvSet[] children)
MvSetFactory
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.
argIdx
- an int
valuechildren
- an array of MvSet[]
whose size
must be equal the size of the logic
such that children [i] corresponds to the i^th child
of an mv-set we are creating
Note that argIdx must be smaller than any variable in children
to preserve ordering.
MvSet
valuepublic MvSet createPoint(AlgebraValue[] args, AlgebraValue value)
MvSetFactory
public MvSet buildCube(int[] varIndex)
MvSetFactory
public MvSet var(int arg, AlgebraValue argVal, AlgebraValue value)
MvSetFactory
public CFAMvSetFactory.CFAMvSet makeMvSet(CFA v, java.lang.String name)
public static void dumpMvSet(MvSet mvSet)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |