aima.core.probability.proposition

Class NotProposition

java.lang.Object

aima.core.probability.proposition.AbstractProposition

aima.core.probability.proposition.NotProposition

All Implemented Interfaces:

Proposition, SentenceProposition, UnarySentenceProposition

public class NotProposition
extends AbstractProposition
implements UnarySentenceProposition

Constructor Summary

Constructors

Constructor and Description
NotProposition(Proposition prop)

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.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

NotProposition

public NotProposition(Proposition prop)

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