|
||||||||||
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.MDDMvSetFactory.MDDMvSet
public class MDDMvSetFactory.MDDMvSet
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 | |
---|---|
MDDMvSetFactory.MDDMvSet(MDDNode _mdd)
|
Method Summary | |
---|---|
AlgebraValue[][] |
__expandToArray()
|
AlgebraValue[] |
blankAssignmentVector()
|
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 point)
|
java.util.Iterator |
cubeIterator()
|
boolean |
equals(MDDMvSetFactory.MDDMvSet 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)
|
IAlgebra |
getAlgebra()
get the lattice for the MvSet |
MvSetFactory |
getFactory()
gets the factory |
java.util.BitSet |
getImage()
|
MDDNode |
getMddNode()
|
java.util.Set |
getPreImageArray(AlgebraValue v)
returns all cubes that lead to v |
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 |
DaVinciGraph |
toDaVinci()
|
java.lang.String |
toString()
|
Methods inherited from class edu.toronto.cs.mvset.AbstractMvSet |
---|
and, eq, expandToArray, geq, impl, infoAnd, infoNot, infoOr, leq, not, or, reorder, toMvRelation, toMvRelation |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public MDDMvSetFactory.MDDMvSet(MDDNode _mdd)
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(MvSet point)
cofactor
in interface MvSet
cofactor
in class AbstractMvSet
public MvSet cofactor(int argIdx, AlgebraValue value)
public MvSet cofactor(AlgebraValue[] r)
MvSet
public java.util.Set getPreImageArray(AlgebraValue v)
getPreImageArray
in interface MvSet
getPreImageArray
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 java.util.BitSet getImage()
getImage
in interface MvSet
getImage
in class AbstractMvSet
public MDDNode getMddNode()
public MvSetFactory getFactory()
MvSet
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public boolean equals(MDDMvSetFactory.MDDMvSet v)
public AlgebraValue[] blankAssignmentVector()
public int hashCode()
hashCode
in class java.lang.Object
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
public AlgebraValue[][] __expandToArray()
public DaVinciGraph toDaVinci()
toDaVinci
in interface MvSet
toDaVinci
in class AbstractMvSet
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |