Uses of Class
de.upb.swt.mcie.robdds.TerminalNode

Packages that use TerminalNode
de.upb.swt.mcie.robdds This package implements reduced ordered binary decision diagrams (ROBDDs). 
 

Uses of TerminalNode in de.upb.swt.mcie.robdds
 

Fields in de.upb.swt.mcie.robdds declared as TerminalNode
 TerminalNode Context.high
          The (in this context) unique terminal node representing true (1).
 TerminalNode Context.low
          The (in this context) unique terminal node representing false (0).
 

Methods in de.upb.swt.mcie.robdds with parameters of type TerminalNode
private  ROBDD BinOp.apply(ROBDD n1, TerminalNode n2)
          Applies the binary operation to the two ROBDDs.
private  ROBDD BinOp.apply(TerminalNode n1, ROBDD n2)
          Applies the binary operation to the two ROBDDs.
private  ROBDD TerminalNode.predecessors(TerminalNode n)
          Returns the ROBBD with all the predecessors of a set n.
private  ROBDD InnerNode.predecessors(TerminalNode n)
          Returns the ROBBD with all the predecessors of a set n.
private  ROBDD TerminalNode.predecessors(TerminalNode n, ChangeSet changeset)
          Returns the ROBBD with all the predecessors of a set n.
private  ROBDD InnerNode.predecessors(TerminalNode n, ChangeSet changeset)
          Returns the ROBBD with all the predecessors of a set n.
private  ROBDD TerminalNode.relProd(TerminalNode n)
          Computes the product of two relations.
private  ROBDD InnerNode.relProd(TerminalNode n)
          Computes the product of two relations.
private  ROBDD TerminalNode.successors(TerminalNode n)
          Returns the ROBBD with all the successors of a set n.
private  ROBDD InnerNode.successors(TerminalNode n)
          Returns the ROBBD with all the successors of a set n.
private  ROBDD TerminalNode.successors(TerminalNode n, ChangeSet changeset)
          Returns the ROBBD with all the successors of a set n.
private  ROBDD InnerNode.successors(TerminalNode n, ChangeSet changeset)
          Returns the ROBBD with all the successors of a set n.