aima.core.probability.proposition

Class SubsetProposition

java.lang.Object

aima.core.probability.proposition.AbstractProposition

aima.core.probability.proposition.AbstractDerivedProposition

aima.core.probability.proposition.SubsetProposition

All Implemented Interfaces:

DerivedProposition, Proposition, SentenceProposition

public class SubsetProposition
extends AbstractDerivedProposition

Constructor Summary

Constructors

Constructor and Description
SubsetProposition(java.lang.String name, FiniteDomain subsetDomain, RandomVariable ofVar)

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

SubsetProposition

public SubsetProposition(java.lang.String name,
                         FiniteDomain subsetDomain,
                         RandomVariable ofVar)

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