public class NotProposition extends AbstractProposition implements UnarySentenceProposition
Constructor and Description |
---|
NotProposition(Proposition prop) |
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() |
addScope, addScope, addUnboundScope, addUnboundScope, getScope, getUnboundScope
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getScope, getUnboundScope
public NotProposition(Proposition prop)
public boolean holds(java.util.Map<RandomVariable,java.lang.Object> possibleWorld)
Proposition
holds
in interface Proposition
holds
in class AbstractProposition
possibleWorld
- A possible world is defined to be an assignment of values to
all of the random variables under consideration.public java.lang.String toString()
toString
in class java.lang.Object