Uses of Class
net.sf.bddbddb.Variable

Packages that use Variable

net.sf.bddbddb

Uses of Variable in net.sf.bddbddb

Subclasses of Variable in net.sf.bddbddb

class	Constant A Constant is a special kind of variable that represents a constant value.
class	Universe A Universe is a special kind of variable that represents all values in a domain.

Methods in net.sf.bddbddb that return Variable

Variable	NumberingRule.checkUnnecessaryVariables()
Variable	InferenceRule.checkUnnecessaryVariables() Checks to see if there are any variables that only appear once.
static Variable	Variable.fromXMLElement(org.jdom.Element e, XMLFactory f)
Variable	RuleTerm.getVariable(int i)
Variable	InferenceRule.getVariable(java.lang.String name) Returns the variable with the given name, or null if there is none.

Methods in net.sf.bddbddb with parameters of type Variable

Attribute	RuleTerm.getAttribute(Variable v)
Attribute	InferenceRule.getAttribute(Variable v) Returns the attribute associated with the given variable.
InferenceRule	Solver.getRuleThatContains(Variable v)
int	RuleTerm.getVariableIndex(Variable v)