sdd

Interface SDDFunction<X>

Type Parameters:

X - the type of result that this function returns.

All Known Implementing Classes:

SDDProbabilityFunction

public interface SDDFunction<X>

An SDD function is a deterministic function that associates a variable to an SDD and that is defined recursively from the structure of the SDD. It must implement methods for the constants, for the literals, for the conjunctions of a prime and a sub, for the disjunction of a collection of conjunctions.

A typical example is a probability function, which assumes a prior probability distribution of the values of the variables, and that computes the probability of the logical statement.

Method Summary

Methods

Modifier and Type	Method and Description
X	conjunctionValue(X primeX, X subX) Returns the value associated with a conjunction given the value associated with its prime and its sub.
X	disjunctionValue(java.util.Collection<X> xs) Returns the value associated with a disjunction given the value of all its elements in its decomposition.
X	falseValue(java.util.Collection<Variable> vars) Returns the value associated with false for the specified collection of variables.
X	negativeLiteralValue(Variable var) Returns the value associated with the negative literal of the specified variable.
X	positiveLiteralValue(Variable var) Returns the value associated with the positive literal of the specified variable.
X	trueValue(java.util.Collection<Variable> vars) Returns the value associated with true for the specified collection of variables.

Method Detail

trueValue

X trueValue(java.util.Collection<Variable> vars)

Returns the value associated with true for the specified collection of variables.

Parameters:

vars - the collection of variables upon which the true logical statement is tested.

Returns:

the value associated with true for the collection of variables vars.

falseValue

X falseValue(java.util.Collection<Variable> vars)

Returns the value associated with false for the specified collection of variables.

Parameters:

vars - the collection of variables upon which the false logical statement is tested.

Returns:

the value associated with false for the collection of variables vars.

positiveLiteralValue

X positiveLiteralValue(Variable var)

Returns the value associated with the positive literal of the specified variable.

Parameters:

var - the variable that defines the logical statement.

Returns:

the value associated with var.

negativeLiteralValue

X negativeLiteralValue(Variable var)

Returns the value associated with the negative literal of the specified variable.

Parameters:

var - the variable that defines the logical statement.

Returns:

the value associated with not var.

conjunctionValue

X conjunctionValue(X primeX,
                 X subX)

Returns the value associated with a conjunction given the value associated with its prime and its sub.

Parameters:

primeX - the value associated with the prime.

subX - the value associated with the sub.

Returns:

the value associated with the conjunction.

disjunctionValue

X disjunctionValue(java.util.Collection<X> xs)

Returns the value associated with a disjunction given the value of all its elements in its decomposition.

Parameters:

xs - the list of values associated with the elements of the decomposition.