|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectedu.toronto.cs.mvset.AbstractMvSet
edu.toronto.cs.mvset.JCUDDMvSetFactory.JCUDDMvSet
public class JCUDDMvSetFactory.JCUDDMvSet
Field Summary |
---|
Fields inherited from interface edu.toronto.cs.mvset.MvSet |
---|
EQ, EXISTS, FORALL, GEQ, IMPL, INFO_AND, INFO_OR, JOIN, LEQ, MEET, NEG |
Constructor Summary | |
---|---|
JCUDDMvSetFactory.JCUDDMvSet(int _cPtr)
|
Method Summary | |
---|---|
MvSet |
cofactor(AlgebraValue[] r)
Restricts the MvSet to a particular L^n (or set of permutations on L^n if r is not total) |
MvSet |
cofactor(int argIdx,
AlgebraValue value)
Restricts an argument h (x_0, x_1, x_2, ...) = f (x_0, ..., value, ...) where value is substituted at argIdx |
MvSet |
cofactor(MvSet cube)
|
java.util.Iterator |
cubeIterator()
|
boolean |
equals(java.lang.Object o)
|
AlgebraValue |
evaluate(AlgebraValue[] values)
Evaluates this function on an input result = f (values [0], values [1], ...) |
MvSet |
existAbstract(MvSet _cube)
|
protected void |
finalize()
|
MvSet |
forallAbstract(MvSet _cube)
|
IAlgebra |
getAlgebra()
get the lattice for the MvSet |
int |
getCPtr()
|
MvSetFactory |
getFactory()
gets the factory |
AlgebraValue |
getValue()
|
int |
hashCode()
|
boolean |
isConstant()
|
java.util.Iterator |
mintermIterator(MvSet vars,
AlgebraValue val)
|
MvSet |
ptwiseCompare(int op,
MvSet g)
Ptwise compare: <=, >=, =. |
MvSet |
ptwiseCompose(int op,
MvSet g)
Creates a pointwise composition op is an operator: L x L -> L f is the current mv-set result h (x) = f (x) op g (x) |
MvSet |
ptwiseNeg()
Creates a ptwise negation h (x) = \neg f (x) |
MvSet |
renameArgs(int[] newArgs)
Renames the arguments. |
int |
size()
Returns number of nodes |
MvRelation |
toMvRelation(MvSet invariant,
MvSet preVariablesCube,
MvSet postVariablesCube,
int[] preToPostMap,
int[] postToPreMap)
|
java.lang.String |
toString()
|
Methods inherited from class edu.toronto.cs.mvset.AbstractMvSet |
---|
and, eq, expandToArray, geq, getImage, getPreImageArray, impl, infoAnd, infoNot, infoOr, leq, not, or, reorder, toDaVinci, toMvRelation |
Methods inherited from class java.lang.Object |
---|
clone, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public JCUDDMvSetFactory.JCUDDMvSet(int _cPtr)
Method Detail |
---|
protected void finalize()
finalize
in class java.lang.Object
public int getCPtr()
public boolean isConstant()
public AlgebraValue getValue()
public java.lang.String toString()
toString
in class java.lang.Object
public MvSet ptwiseCompose(int op, MvSet g)
public MvSet ptwiseCompare(int op, MvSet g)
MvSet
public MvSet ptwiseNeg()
public int size()
MvSet
size
in interface MvSet
size
in class AbstractMvSet
public MvSet cofactor(int argIdx, AlgebraValue value)
public MvSet cofactor(AlgebraValue[] r)
MvSet
public MvSet cofactor(MvSet cube)
cofactor
in interface MvSet
cofactor
in class AbstractMvSet
public MvSet existAbstract(MvSet _cube)
public MvSet forallAbstract(MvSet _cube)
public MvSet renameArgs(int[] newArgs)
public AlgebraValue evaluate(AlgebraValue[] values)
public IAlgebra getAlgebra()
public MvSetFactory getFactory()
MvSet
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public MvRelation toMvRelation(MvSet invariant, MvSet preVariablesCube, MvSet postVariablesCube, int[] preToPostMap, int[] postToPreMap)
toMvRelation
in interface MvSet
toMvRelation
in class AbstractMvSet
public java.util.Iterator cubeIterator()
cubeIterator
in interface MvSet
cubeIterator
in class AbstractMvSet
public java.util.Iterator mintermIterator(MvSet vars, AlgebraValue val)
mintermIterator
in interface MvSet
mintermIterator
in class AbstractMvSet
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |