public class AssignmentProposition extends AbstractTermProposition
Constructor and Description |
---|
AssignmentProposition(RandomVariable forVariable,
java.lang.Object value) |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
getValue() |
boolean |
holds(java.util.Map<RandomVariable,java.lang.Object> possibleWorld)
Determine whether or not the proposition holds in a particular possible
world.
|
void |
setValue(java.lang.Object value) |
java.lang.String |
toString() |
getTermVariable
addScope, addScope, addUnboundScope, addUnboundScope, getScope, getUnboundScope
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getScope, getUnboundScope
public AssignmentProposition(RandomVariable forVariable, java.lang.Object value)
public java.lang.Object getValue()
public void setValue(java.lang.Object value)
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