aima.core.probability.proposition

Class EquivalentProposition

java.lang.Object

aima.core.probability.proposition.AbstractProposition

aima.core.probability.proposition.AbstractDerivedProposition

aima.core.probability.proposition.EquivalentProposition

All Implemented Interfaces:

DerivedProposition, Proposition, SentenceProposition

public class EquivalentProposition
extends AbstractDerivedProposition

Constructor Summary

Constructors

Constructor and Description
EquivalentProposition(java.lang.String name, RandomVariable... equivs)

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

EquivalentProposition

public EquivalentProposition(java.lang.String name,
                             RandomVariable... equivs)

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