|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Variable | |
---|---|
de.upb.swt.mcie.robdds | This package implements reduced ordered binary decision diagrams (ROBDDs). |
Uses of Variable in de.upb.swt.mcie.robdds |
---|
Fields in de.upb.swt.mcie.robdds declared as Variable | |
---|---|
(package private) Variable |
Variable.partner
The partner variable. |
(package private) Variable |
InnerNode.variable
The variable associated with this inner node. |
Methods in de.upb.swt.mcie.robdds that return Variable | |
---|---|
Variable |
Context.createVariable(java.lang.String name)
Creates a pair of new variables for the given name and returns the unprimed version of this pair as a result. |
Variable |
Variable.getPartner()
Returns the partner variable. |
Variable |
Context.getVariable(java.lang.String name)
For the given name, returns the associated variable, if the variable exists. |
Methods in de.upb.swt.mcie.robdds with parameters of type Variable | |
---|---|
boolean |
ChangeSet.contains(Variable v)
Checks whether the given variable is in this set. |
(package private) ROBDD |
Context.createInnerNode(Variable variable,
ROBDD low,
ROBDD high)
Creates the inner node, provided that it is not duplicate and not redundant. |
int |
HashAssignment.getValue(Variable variable)
Returns the value of the assignment for the variable. |
int |
Assignment.getValue(Variable variable)
Returns the value of the assignment for the variable. |
boolean |
Variable.precedes(Variable v)
Checks whether this variable precedes the given variable v in the variable order. |
void |
HashAssignment.setValue(Variable variable,
int value)
Adds a value for a variable to the assignment. |
void |
Assignment.setValue(Variable variable,
int value)
Adds a value for a variable to the assignment. |
Constructors in de.upb.swt.mcie.robdds with parameters of type Variable | |
---|---|
ChangeSet(Context context,
Variable[] variables)
Constructs a set of variables in a given context. |
|
InnerNode(Variable variable,
ROBDD low,
ROBDD high)
Creates a new inner node. |
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |