aima.core.probability.proposition

Class IntegerSumProposition

java.lang.Object

aima.core.probability.proposition.AbstractProposition

aima.core.probability.proposition.AbstractDerivedProposition

aima.core.probability.proposition.IntegerSumProposition

All Implemented Interfaces:

DerivedProposition, Proposition, SentenceProposition

public class IntegerSumProposition
extends AbstractDerivedProposition

Constructor Summary

Constructors

Constructor and Description
IntegerSumProposition(java.lang.String name, FiniteIntegerDomain sumsDomain, RandomVariable... sums)

Method Summary

Modifier and Type	Method and Description
boolean	holds(java.util.Map<RandomVariable,java.lang.Object> possibleWorld) Determine whether or not the proposition holds in a particular possible world.
java.lang.String	toString()

Methods inherited from class aima.core.probability.proposition.AbstractDerivedProposition

getDerivedName

Methods inherited from class aima.core.probability.proposition.AbstractProposition

addScope, addScope, addUnboundScope, addUnboundScope, getScope, getUnboundScope

Methods inherited from class java.lang.Object

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

Methods inherited from interface aima.core.probability.proposition.Proposition

getScope, getUnboundScope

Constructor Detail

IntegerSumProposition

public IntegerSumProposition(java.lang.String name,
                             FiniteIntegerDomain sumsDomain,
                             RandomVariable... sums)

Method Detail

holds

public boolean holds(java.util.Map<RandomVariable,java.lang.Object> possibleWorld)

Description copied from interface: Proposition

Determine whether or not the proposition holds in a particular possible world.

Specified by:

holds in interface Proposition

Specified by:

holds in class AbstractProposition

Parameters:

possibleWorld - A possible world is defined to be an assignment of values to all of the random variables under consideration.

Returns:

true if the proposition holds in the given possible world, false otherwise.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object