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

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.