sdd

Class SDDProbabilityFunction

java.lang.Object

sdd.SDDProbabilityFunction

All Implemented Interfaces:

SDDFunction<java.lang.Double>

public class SDDProbabilityFunction
extends java.lang.Object
implements SDDFunction<java.lang.Double>

An SDD probability function computes the probability of an SDD given an a priori (independent) probability distribution on the variables. This function returns a double, which may not be the most appropriate choice. Furthermore, it does return the probability, and not its logarithmic value.

Constructor Summary

Constructors

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

Method Summary

Methods

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SDDProbabilityFunction

public SDDProbabilityFunction(java.util.Map<Variable,java.lang.Double> apriori)

Creates an SDD probability function with the specified a priori probability distribution.

Parameters:

apriori - the a priori probability of each variable to evaluate to true.

Method Detail

trueValue

public java.lang.Double trueValue(java.util.Collection<Variable> vars)

Description copied from interface: SDDFunction

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

Specified by:

trueValue in interface SDDFunction<java.lang.Double>

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

public java.lang.Double falseValue(java.util.Collection<Variable> vars)

Description copied from interface: SDDFunction

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

Specified by:

falseValue in interface SDDFunction<java.lang.Double>

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

public java.lang.Double positiveLiteralValue(Variable var)

Description copied from interface: SDDFunction

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

Specified by:

positiveLiteralValue in interface SDDFunction<java.lang.Double>

Parameters:

var - the variable that defines the logical statement.

Returns:

the value associated with var.

negativeLiteralValue

public java.lang.Double negativeLiteralValue(Variable var)

Description copied from interface: SDDFunction

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

Specified by:

negativeLiteralValue in interface SDDFunction<java.lang.Double>

Parameters:

var - the variable that defines the logical statement.

Returns:

the value associated with not var.

conjunctionValue

public java.lang.Double conjunctionValue(java.lang.Double primeX,
                                java.lang.Double subX)

Description copied from interface: SDDFunction

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

Specified by:

conjunctionValue in interface SDDFunction<java.lang.Double>

Parameters:

primeX - the value associated with the prime.

subX - the value associated with the sub.

Returns:

the value associated with the conjunction.

disjunctionValue

public java.lang.Double disjunctionValue(java.util.Collection<java.lang.Double> xs)

Description copied from interface: SDDFunction

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

Specified by:

disjunctionValue in interface SDDFunction<java.lang.Double>

Parameters:

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