edu.toronto.cs.mdd
Class ApplyFunctions.InfoMeetFunction

java.lang.Object
  extended by edu.toronto.cs.mdd.ApplyFunctions.AbstractApplyFunction
      extended by edu.toronto.cs.mdd.ApplyFunctions.BelnapFunction
          extended by edu.toronto.cs.mdd.ApplyFunctions.InfoMeetFunction
All Implemented Interfaces:
ApplyFunctions.ApplyFunction, ApplyFunctions.BinApplyFunction
Enclosing class:
ApplyFunctions

public static class ApplyFunctions.InfoMeetFunction
extends ApplyFunctions.BelnapFunction


Constructor Summary
ApplyFunctions.InfoMeetFunction(MDDManager mddMgr, BelnapAlgebra algebra)
           
 
Method Summary
 MDDNode binApply(MDDNode node1, MDDNode node2)
           
 
Methods inherited from class edu.toronto.cs.mdd.ApplyFunctions.BelnapFunction
isSymetric
 
Methods inherited from class edu.toronto.cs.mdd.ApplyFunctions.AbstractApplyFunction
isCacheable
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 
Methods inherited from interface edu.toronto.cs.mdd.ApplyFunctions.ApplyFunction
isCacheable
 

Constructor Detail

ApplyFunctions.InfoMeetFunction

public ApplyFunctions.InfoMeetFunction(MDDManager mddMgr,
                                       BelnapAlgebra algebra)
Method Detail

binApply

public MDDNode binApply(MDDNode node1,
                        MDDNode node2)