edu.toronto.cs.mdd
Class ApplyFunctions.InfoJoinFunction

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.InfoJoinFunction
All Implemented Interfaces:
ApplyFunctions.ApplyFunction, ApplyFunctions.BinApplyFunction
Enclosing class:
ApplyFunctions

public static class ApplyFunctions.InfoJoinFunction
extends ApplyFunctions.BelnapFunction


Constructor Summary
ApplyFunctions.InfoJoinFunction(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.InfoJoinFunction

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

binApply

public MDDNode binApply(MDDNode node1,
                        MDDNode node2)