|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object blog.DefaultEvalContext blog.ParentRecEvalContext blog.SimpleInstEvalContext
public class SimpleInstEvalContext
Evaluation context that instantiates random variables as needed, using some very simple rules. Number variables are set to zero. Random function application variables are set to the first guaranteed object of their return type, or Model.NULL if the return type has no guaranteed objects.
Field Summary |
---|
Fields inherited from class blog.ParentRecEvalContext |
---|
latestUninstParent, parents |
Fields inherited from class blog.DefaultEvalContext |
---|
errorIfUndet, world |
Constructor Summary | |
---|---|
SimpleInstEvalContext(PartialWorld world)
Creates a new SimpleInstEvalContext using the given world. |
Method Summary | |
---|---|
java.lang.Object |
getValue(BasicVar var)
Returns the value of the given basic random variable in this partial world, or null if the given variable is not instantiated. |
boolean |
isInstantiated(BasicVar var)
|
Methods inherited from class blog.ParentRecEvalContext |
---|
getLatestUninstParent, getParents, getPOPAppSatisfied |
Methods inherited from class blog.DefaultEvalContext |
---|
assign, assignTuple, getAssignmentStr, getLogicalVarValue, getLogicalVarValues, getSatisfiers, handleMissingVar, objectExists, popEvaluee, printEvalTrace, pushEvaluee, unassign, unassignTuple, usesIdentifiers |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public SimpleInstEvalContext(PartialWorld world)
Method Detail |
---|
public boolean isInstantiated(BasicVar var)
public java.lang.Object getValue(BasicVar var)
EvalContext
getValue
in interface EvalContext
getValue
in class ParentRecEvalContext
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |