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

Packages that use ApplyFunctions.QuantifyFunction
edu.toronto.cs.mdd A library for Multi-valued Decision Diagrams (MDDs). 
 

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