|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Assignment | |
---|---|
de.upb.swt.mcie.robdds | This package implements reduced ordered binary decision diagrams (ROBDDs). |
Uses of Assignment in de.upb.swt.mcie.robdds |
---|
Classes in de.upb.swt.mcie.robdds that implement Assignment | |
---|---|
class |
HashAssignment
This class implements an Assignment . |
Methods in de.upb.swt.mcie.robdds that return Assignment | |
---|---|
Assignment |
TerminalNode.getAssignment()
Returns an assignment for which the ROBDD evaluates to true. |
abstract Assignment |
ROBDD.getAssignment()
Returns an assignment for which the ROBDD evaluates to true. |
Assignment |
InnerNode.getAssignment()
Returns an assignment for which the ROBDD evaluates to true. |
Methods in de.upb.swt.mcie.robdds with parameters of type Assignment | |
---|---|
ROBDD |
TerminalNode.eval(Assignment ass)
Evaluates the ROBDD in the given assignment, where the result is the ROBDD node at which the evaluation terminates. |
abstract ROBDD |
ROBDD.eval(Assignment ass)
Evaluates the ROBDD in the given assignment ass, where the result is the ROBDD node at which the evaluation terminates. |
ROBDD |
InnerNode.eval(Assignment ass)
Evaluates the ROBDD in the given assignment, where the result is the ROBDD node at which the evaluation terminates. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |