edu.toronto.cs.smv
Class IntApplyFunctions.LtFunction

java.lang.Object
  extended by edu.toronto.cs.mdd.ApplyFunctions.AbstractApplyFunction
      extended by edu.toronto.cs.mdd.ApplyFunctions.TerminalBinApplyFunction
          extended by edu.toronto.cs.smv.IntApplyFunctions.LtFunction
All Implemented Interfaces:
ApplyFunctions.ApplyFunction, ApplyFunctions.BinApplyFunction
Enclosing class:
IntApplyFunctions

public static class IntApplyFunctions.LtFunction
extends ApplyFunctions.TerminalBinApplyFunction


Constructor Summary
IntApplyFunctions.LtFunction(MDDManager mddMgr, int _top, int _bot)
           
 
Method Summary
 int binApply(int v1, int v2)
           
 MDDNode binApply(MDDNode node1, MDDNode node2)
           
 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.ApplyFunction
isCacheable
 

Constructor Detail

IntApplyFunctions.LtFunction

public IntApplyFunctions.LtFunction(MDDManager mddMgr,
                                    int _top,
                                    int _bot)
Method Detail

binApply

public MDDNode binApply(MDDNode node1,
                        MDDNode node2)
Specified by:
binApply in interface ApplyFunctions.BinApplyFunction
Overrides:
binApply in class ApplyFunctions.TerminalBinApplyFunction

isSymetric

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

binApply

public int binApply(int v1,
                    int v2)
Specified by:
binApply in class ApplyFunctions.TerminalBinApplyFunction