blog
Class AtomicFormula

java.lang.Object
  blog.ArgSpec
      blog.Formula
          blog.AtomicFormula

public class AtomicFormula
extends Formula

A Formula consisting of a single boolean-valued term.

See Also:

Term, Formula

Field Summary

Fields inherited from class blog.Formula

ALL_OBJECTS, NOT_EXPLICIT

Fields inherited from class blog.ArgSpec

location

Constructor Summary

AtomicFormula(Term sent)

Method Summary

boolean	checkTypesAndScope(Model model, java.util.Map scope) Returns true if the underlying term satisfies the type/scope constraints and has a Boolean type.
boolean	equals(java.lang.Object o) Two atomic formulas are equal if their underlying terms are equal.
java.lang.Object	evaluate(EvalContext context) Returns the value of this argument specification in the given context.
java.util.Set	getNonSatisfiersIfExplicit(EvalContext context, LogicalVar subject, GenericObject genericObj) Returns the set of values for the logical variable subject that are consistent with the generating function values of genericObj and that make this formula false in the given context, if this set can be determined without enumerating possible values for subject.
java.util.Set	getSatisfiersIfExplicit(EvalContext context, LogicalVar subject, GenericObject genericObj) Returns the set of values for the logical variable subject that are consistent with the generating function values of genericObj and that make this formula true in the given context, if this set can be determined without enumerating possible values for subject.
java.util.Collection	getSubExprs() Returns a singleton collection containing the term in this atomic formula.
ArgSpec	getSubstResult(Substitution subst, java.util.Set<LogicalVar> boundVars) Returns the result of applying the substitution subst to this expression, excluding the logical variables in boundVars.
Term	getTerm()
java.util.List	getTopLevelTerms() Returns the terms that are part of this formula, but not part of any other term or formula within this formula.
BayesNetVar	getVariable() Returns the (basic or derived) random variable that this atomic formula corresponds to under the given assignment.
int	hashCode()
boolean	isLiteral() Returns true.
java.lang.String	toString() Returns the string representation of the underlying term.

Methods inherited from class blog.Formula

compile, containsAnyTerm, containsRandomSymbol, containsTerm, getEquivToNegation, getEquivToNegationInternal, getGenFuncsApplied, getPropCNF, getPropDNF, getStandardForm, getSubformulas, isElementary, isQuantified, isTrue

Methods inherited from class blog.ArgSpec

evaluate, evaluate, getFreeVars, getLocation, getSubstResult, getValueIfNonRandom, isDetermined, isNumeric, setLocation

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

AtomicFormula

public AtomicFormula(Term sent)

Method Detail

getTerm

public Term getTerm()

evaluate

public java.lang.Object evaluate(EvalContext context)

Description copied from class: ArgSpec

Returns the value of this argument specification in the given context. Returns null if the partial world in this context is not complete enough to evaluate this ArgSpec, or if this ArgSpec contains a free variable that is not assigned a value in the given context.

Specified by:

evaluate in class ArgSpec

getVariable

public BayesNetVar getVariable()

Returns the (basic or derived) random variable that this atomic formula corresponds to under the given assignment. This is just the random variable corresponding to underlying Boolean term.

Overrides:

getVariable in class ArgSpec

getSubExprs

public java.util.Collection getSubExprs()

Returns a singleton collection containing the term in this atomic formula.

Overrides:

getSubExprs in class Formula

Returns:

unmodifiable Collection of ArgSpec

isLiteral

public boolean isLiteral()

Returns true.

Overrides:

isLiteral in class Formula

getTopLevelTerms

public java.util.List getTopLevelTerms()

Description copied from class: Formula

Returns the terms that are part of this formula, but not part of any other term or formula within this formula. The default implementation returns an empty list.

Overrides:

getTopLevelTerms in class Formula

Returns:

unmodifiable List of Term objects

getSatisfiersIfExplicit

public java.util.Set getSatisfiersIfExplicit(EvalContext context,
                                             LogicalVar subject,
                                             GenericObject genericObj)

Description copied from class: Formula

Returns the set of values for the logical variable subject that are consistent with the generating function values of genericObj and that make this formula true in the given context, if this set can be determined without enumerating possible values for subject. Returns the special value Formula.NOT_EXPLICIT if determining the desired set would requiring enumerating possible values for subject. Also, returns the special value Formula.ALL_OBJECTS if this formula is true in the given context for all objects consistent with genericObj. Finally, returns null if it tries to access an uninstantiated random variable.

Specified by:

getSatisfiersIfExplicit in class Formula

Parameters:

context - an evaluation context that does not assign a value to the logical variable subject

subject - a logical variable

genericObj - a GenericObject instance, which can stand for any object of a given type or include values for certain generating functions

getNonSatisfiersIfExplicit

public java.util.Set getNonSatisfiersIfExplicit(EvalContext context,
                                                LogicalVar subject,
                                                GenericObject genericObj)

Description copied from class: Formula

Returns the set of values for the logical variable subject that are consistent with the generating function values of genericObj and that make this formula false in the given context, if this set can be determined without enumerating possible values for subject. Returns the special value Formula.NOT_EXPLICIT if determining the desired set would requiring enumerating possible values for subject. Also, returns the special value Formula.ALL_OBJECTS if this formula is false in the given context for all objects consistent with genericObj. Finally, returns null if it tries to access an uninstantiated random variable.

This default implementation calls getEquivToNegation, then calls getSatisfiersIfExplicit on the resulting formula. Warning: subclasses must override either this method or getEquivToNegationInternal to avoid an UnsupportedOperationException.

Overrides:

getNonSatisfiersIfExplicit in class Formula

Parameters:

context - an evaluation context that does not assign a value to the logical variable subject

subject - a logical variable

genericObj - a GenericObject instance, which can stand for any object of a given type or include values for certain generating functions

equals

public boolean equals(java.lang.Object o)

Two atomic formulas are equal if their underlying terms are equal.

Overrides:

equals in class java.lang.Object

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Returns the string representation of the underlying term.

Overrides:

toString in class java.lang.Object

checkTypesAndScope

public boolean checkTypesAndScope(Model model,
                                  java.util.Map scope)

Returns true if the underlying term satisfies the type/scope constraints and has a Boolean type.

Specified by:

checkTypesAndScope in class ArgSpec

scope - a Map from variable names (Strings) to LogicalVar objects

getSubstResult

public ArgSpec getSubstResult(Substitution subst,
                              java.util.Set<LogicalVar> boundVars)

Description copied from class: ArgSpec

Returns the result of applying the substitution subst to this expression, excluding the logical variables in boundVars. This method is used for recursive calls. The set boundVars should contain those variables that are bound in the syntax tree between this sub-expression and the top-level expression to which the substitution is being applied.

Specified by:

getSubstResult in class ArgSpec