public class RandVar extends java.lang.Object implements RandomVariable, TermProposition
| Constructor and Description |
|---|
RandVar(java.lang.String name,
Domain domain) |
| Modifier and Type | Method and Description |
|---|---|
boolean |
equals(java.lang.Object o) |
Domain |
getDomain() |
java.lang.String |
getName() |
java.util.Set<RandomVariable> |
getScope() |
RandomVariable |
getTermVariable() |
java.util.Set<RandomVariable> |
getUnboundScope() |
int |
hashCode() |
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() |
public RandVar(java.lang.String name,
Domain domain)
public java.lang.String getName()
getName in interface RandomVariablepublic Domain getDomain()
getDomain in interface RandomVariablepublic RandomVariable getTermVariable()
getTermVariable in interface TermPropositionpublic java.util.Set<RandomVariable> getScope()
getScope in interface Propositionpublic java.util.Set<RandomVariable> getUnboundScope()
getUnboundScope in interface Propositionpublic boolean holds(java.util.Map<RandomVariable,java.lang.Object> possibleWorld)
Propositionholds in interface PropositionpossibleWorld - A possible world is defined to be an assignment of values to
all of the random variables under consideration.public boolean equals(java.lang.Object o)
equals in class java.lang.Objectpublic int hashCode()
hashCode in class java.lang.Objectpublic java.lang.String toString()
toString in class java.lang.Object