Uses of Interface
edu.toronto.cs.mdd.ApplyFunctions.QuantifyFunction

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