|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public static interface ApplyFunctions.QuantifyFunction
Method Summary | |
---|---|
boolean |
canTerminate(int var,
MDDNode node)
|
MDDNode |
getIdentity(int var)
|
ApplyFunctions.BinApplyFunction |
getOperator(int var)
|
Methods inherited from interface edu.toronto.cs.mdd.ApplyFunctions.ApplyFunction |
---|
isCacheable |
Method Detail |
---|
MDDNode getIdentity(int var)
ApplyFunctions.BinApplyFunction getOperator(int var)
boolean canTerminate(int var, MDDNode node)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |