edu.toronto.cs.mdd
Class ApplyFunctions.BelnapFunction

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

public abstract static class ApplyFunctions.BelnapFunction
extends ApplyFunctions.AbstractApplyFunction
implements ApplyFunctions.BinApplyFunction


Constructor Summary
ApplyFunctions.BelnapFunction(MDDManager mddMgr, BelnapAlgebra _algebra)
           
 
Method Summary
 boolean 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.BinApplyFunction
binApply
 
Methods inherited from interface edu.toronto.cs.mdd.ApplyFunctions.ApplyFunction
isCacheable
 

Constructor Detail

ApplyFunctions.BelnapFunction

public ApplyFunctions.BelnapFunction(MDDManager mddMgr,
                                     BelnapAlgebra _algebra)
Method Detail

isSymetric

public boolean isSymetric()
Specified by:
isSymetric in interface ApplyFunctions.BinApplyFunction