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