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

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

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

Fields in de.upb.swt.mcie.robdds declared as InnerNode
private  InnerNode InnerNode.negation
          If defined, this attribute refers to the complement of this ROBDD.
 

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