|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface MvSetFactory
A factory to produce MvSets
Field Summary | |
---|---|
static int |
DONT_CARE
|
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 |
IAlgebra |
getAlgebra()
Gets the lattice for this factory. |
MvSet |
infoBot()
|
MvSet |
infoTop()
|
void |
renew()
|
MvSet |
top()
|
MvSet |
var(int arg,
AlgebraValue argVal,
AlgebraValue value)
Builds an mvset corresponding to (arg = argVal) /\ value |
Field Detail |
---|
static final int DONT_CARE
Method Detail |
---|
MvSet createConstant(AlgebraValue value)
MvSet createProjection(int argIdx)
MvSet top()
MvSet bot()
MvSet infoTop()
MvSet infoBot()
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.
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
valueMvSet createPoint(AlgebraValue[] args, AlgebraValue value)
MvSet buildCube(int[] varIndex)
MvSet var(int arg, AlgebraValue argVal, AlgebraValue value)
IAlgebra getAlgebra()
void renew()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |