|
||||||||||
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.cfa.CFAMvSetFactory.CFAMvSet
public class CFAMvSetFactory.CFAMvSet
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 | |
---|---|
protected |
CFAMvSetFactory.CFAMvSet(CFA _cfa)
|
protected |
CFAMvSetFactory.CFAMvSet(CFA _cfa,
java.lang.String _name)
|
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 v)
|
boolean |
equals(CFAMvSetFactory.CFAMvSet 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()
gets the lattice for the MvSet |
CFA |
getCFA()
|
MvSetFactory |
getFactory()
gets the factory |
java.util.BitSet |
getImage()
|
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. |
java.lang.String |
toString()
|
Methods inherited from class edu.toronto.cs.mvset.AbstractMvSet |
---|
and, cubeIterator, eq, expandToArray, geq, getPreImageArray, impl, infoAnd, infoNot, infoOr, leq, not, or, reorder, size, toDaVinci, toMvRelation |
Methods inherited from class java.lang.Object |
---|
clone, finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
protected CFAMvSetFactory.CFAMvSet(CFA _cfa)
protected CFAMvSetFactory.CFAMvSet(CFA _cfa, java.lang.String _name)
Method Detail |
---|
public java.lang.String toString()
toString
in class java.lang.Object
public CFA getCFA()
public MvSet ptwiseCompose(int op, MvSet g)
MvSet
public MvSet ptwiseNeg()
MvSet
public MvSet ptwiseCompare(int op, MvSet g)
MvSet
public MvSet cofactor(int argIdx, AlgebraValue value)
MvSet
public MvSet cofactor(AlgebraValue[] r)
MvSet
public MvSet cofactor(MvSet v)
cofactor
in interface MvSet
cofactor
in class AbstractMvSet
public MvSet existAbstract(MvSet _cube)
public MvSet forallAbstract(MvSet _cube)
public MvSet renameArgs(int[] newArgs)
MvSet
public AlgebraValue evaluate(AlgebraValue[] values)
MvSet
public MvSetFactory getFactory()
MvSet
public IAlgebra getAlgebra()
MvSet
public boolean isConstant()
public AlgebraValue getValue()
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public boolean equals(CFAMvSetFactory.CFAMvSet v)
public int hashCode()
hashCode
in class java.lang.Object
public java.util.Iterator mintermIterator(MvSet _vars, AlgebraValue val)
mintermIterator
in interface MvSet
mintermIterator
in class AbstractMvSet
public java.util.BitSet getImage()
getImage
in interface MvSet
getImage
in class AbstractMvSet
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |