|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use ApplyFunctions.QuantifyFunction | |
---|---|
edu.toronto.cs.mdd |
Uses of ApplyFunctions.QuantifyFunction in edu.toronto.cs.mdd |
---|
Classes in edu.toronto.cs.mdd that implement ApplyFunctions.QuantifyFunction | |
---|---|
static class |
ApplyFunctions.UniformQuantify
|
Methods in edu.toronto.cs.mdd with parameters of type ApplyFunctions.QuantifyFunction | |
---|---|
MDDNode |
MDDManager.quantify(ApplyFunctions.QuantifyFunction function,
MDDNode node,
MDDNode cube)
performs universal/existentia/other quantification |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |