public class ConjunctiveProposition extends AbstractProposition implements BinarySentenceProposition
Constructor and Description |
---|
ConjunctiveProposition(Proposition left,
Proposition right) |
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 ConjunctiveProposition(Proposition left, Proposition right)
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