Uses of Class
sdd.Variable

Packages that use Variable

Package	Description
sdd

Uses of Variable in sdd

Methods in sdd that return Variable

Modifier and Type	Method and Description
Variable	SDDVariable.getVariable() Returns the variable of this literal.
Variable	VtreeLeaf.getVariable() Returns the (single) variable associated with this vtree.

Methods in sdd that return types with arguments of type Variable

Modifier and Type	Method and Description
java.util.Set<Variable>	Assignment.assignedVariables() Returns the list of assigned variables.
abstract java.util.Set<Variable>	Vtree.getVariables() Returns the collection of variables that decorate the leaves of this vtree.
java.util.Set<Variable>	VtreeLeaf.getVariables()
java.util.Set<Variable>	VtreeNode.getVariables()

Methods in sdd with parameters of type Variable

Modifier and Type	Method and Description
java.lang.Boolean	Assignment.assignment(Variable var) Returns the boolean assignment of the specified variable.
static SDDTree	SDDTrees.ban_exists(SDDTree sdd, Variable var, SDDMemory mem, VtreePath path) Computes the result of the exists operation on the specified sdd for the specified variable.
static SDDTree	SDDTrees.ban_forall(SDDTree sdd, Variable var, SDDMemory mem, VtreePath path) Computes the result of the forall operation on the specified sdd for the specified variable.
int	Variable.compareTo(Variable var)
static VtreeLeaf	VtreeLeaf.create(Variable var) Returns the vtree leaf associated with the specified variable.
static SDDVariable	SDDVariable.create(Variable var, boolean val)
static SDDTree	SDDTrees.exists(SDDTree sdd, Variable var, SDDMemory mem, VtreePath path) Computes the result of the exists operation on the specified sdd for the specified variable.
SDD	SDD.exists(Variable vr) Computes the SDD resulting from the existantial operation over this SDD for the specified variable.
static SDDTree	SDDTrees.forall(SDDTree sdd, Variable var, SDDMemory mem, VtreePath path) Computes the result of the forall operation on the specified sdd for the specified variable.
SDD	SDD.forall(Variable vr) Computes the SDD resulting from the universal operation over this SDD for the specified variable.
X	SDDFunction.negativeLiteralValue(Variable var) Returns the value associated with the negative literal of the specified variable.
java.lang.Double	SDDProbabilityFunction.negativeLiteralValue(Variable var)
X	SDDFunction.positiveLiteralValue(Variable var) Returns the value associated with the positive literal of the specified variable.
java.lang.Double	SDDProbabilityFunction.positiveLiteralValue(Variable var)
SDD	SDD.replace(Variable var1, Variable var2) Computes the SDD where every instance of the first specified variable is replaced in this SDD by an instance of the second variable.
static SDD	SDD.variable(Variable var, Vtree tree) Creates the SDD associated with the specified variable (i.e., the positive literal associated with the variable) for a given vtree.

Method parameters in sdd with type arguments of type Variable

Modifier and Type	Method and Description
abstract boolean	Vtree.addVariables(java.util.Set<Variable> s) Adds the variables in this vtree to the specified set.
boolean	VtreeLeaf.addVariables(java.util.Set<Variable> s)
boolean	VtreeNode.addVariables(java.util.Set<Variable> s)
X	SDDFunction.falseValue(java.util.Collection<Variable> vars) Returns the value associated with false for the specified collection of variables.
java.lang.Double	SDDProbabilityFunction.falseValue(java.util.Collection<Variable> vars)
X	SDDFunction.trueValue(java.util.Collection<Variable> vars) Returns the value associated with true for the specified collection of variables.
java.lang.Double	SDDProbabilityFunction.trueValue(java.util.Collection<Variable> vars)

Constructors in sdd with parameters of type Variable

Constructor and Description
Assignment(Assignment ass, Variable var, boolean val) Creates an assignment corresponding to adding to the specified assignment to assignment of the specified variable to the specified value.
Assignment(Variable var, boolean val) Creates the assignment that associates the specified value to the specified variable.

Constructor parameters in sdd with type arguments of type Variable

Constructor and Description
Assignment(java.util.Map<Variable,java.lang.Boolean> ass) Creates the assignment corresponding to the specified mapping.
SDDProbabilityFunction(java.util.Map<Variable,java.lang.Double> apriori) Creates an SDD probability function with the specified a priori probability distribution.