|
||||||||||
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.CUADDMvSetFactory.CUADDMvSet
public class CUADDMvSetFactory.CUADDMvSet
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 | |
---|---|
CUADDMvSetFactory.CUADDMvSet(CuddAdd.ADD _addNode)
|
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 |
java.util.Iterator |
cubeIterator()
|
boolean |
equals(CUADDMvSetFactory.CUADDMvSet v)
|
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)
|
MvSet |
forallAbstract(MvSet _cube)
|
CuddAdd.ADD |
getAddNode()
|
IAlgebra |
getAlgebra()
get the lattice for the MvSet |
MvSetFactory |
getFactory()
gets the factory |
AlgebraValue |
getValue()
|
int |
hashCode()
|
boolean |
isConstant()
|
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 |
java.lang.String |
toString()
|
Methods inherited from class edu.toronto.cs.mvset.AbstractMvSet |
---|
and, cofactor, eq, expandToArray, geq, getImage, getPreImageArray, impl, infoAnd, infoNot, infoOr, leq, mintermIterator, not, or, reorder, toDaVinci, toMvRelation |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public CUADDMvSetFactory.CUADDMvSet(CuddAdd.ADD _addNode)
Method Detail |
---|
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 existAbstract(MvSet _cube)
public MvSet forallAbstract(MvSet _cube)
public MvSet renameArgs(int[] newArgs)
public AlgebraValue evaluate(AlgebraValue[] values)
public IAlgebra getAlgebra()
public CuddAdd.ADD getAddNode()
public MvSetFactory getFactory()
MvSet
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public boolean equals(CUADDMvSetFactory.CUADDMvSet v)
public int hashCode()
hashCode
in class java.lang.Object
public java.util.Iterator cubeIterator()
cubeIterator
in interface MvSet
cubeIterator
in class AbstractMvSet
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |