|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |