LBJ2.infer
Class FirstOrderConstant

java.lang.Object
  LBJ2.infer.Constraint
      LBJ2.infer.FirstOrderConstraint
          LBJ2.infer.FirstOrderConstant

public class FirstOrderConstant
extends FirstOrderConstraint

A first order constant is either true or false.

Field Summary

private boolean

constant The constant value.

Constructor Summary

FirstOrderConstant(boolean v)
Initializing constructor.

Method Summary

void	consolidateVariables(java.util.AbstractMap m) Replaces all unquantified variables with the unique copy stored as a value of the given map; also instantiates all quantified variables and stores them in the given map.
boolean	equals(java.lang.Object o) Two FirstOrderConstants are equivalent when their constants are equal.
boolean	evaluate() Determines whether the constraint is satisfied.
Constraint[]	getChildren() Returns the children of this constraint in an array.
int	hashCode() The hash code of a FirstOrderConstant is the hash code of the Boolean object formed from the constant.
PropositionalConstraint	propositionalize() Transforms this first order constraint into a propositional constraint.
void	runVisit(Inference infer) Calls the appropriate visit(·) method of the given Inference for this Constraint, as per the visitor pattern.
void	setQuantificationVariables(java.util.Vector o) This method sets the given quantification variables to the given object references and evaluates the expressions involving those variables in this constraint's FirstOrderEquality children.

Methods inherited from class java.lang.Object

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

Field Detail

constant

private boolean constant

The constant value.

Constructor Detail

FirstOrderConstant

public FirstOrderConstant(boolean v)

Initializing constructor.

Parameters:

v - The value of this constant.

Method Detail

setQuantificationVariables

public void setQuantificationVariables(java.util.Vector o)

This method sets the given quantification variables to the given object references and evaluates the expressions involving those variables in this constraint's FirstOrderEquality children.

Specified by:

setQuantificationVariables in class FirstOrderConstraint

Parameters:

o - The new object references for the enclosing quantification variables, in order of nesting.

getChildren

public Constraint[] getChildren()

Returns the children of this constraint in an array.

Specified by:

getChildren in class Constraint

Returns:

The children of this constraint in an array.

evaluate

public boolean evaluate()

Determines whether the constraint is satisfied.

Specified by:

evaluate in class Constraint

consolidateVariables

public void consolidateVariables(java.util.AbstractMap m)

Replaces all unquantified variables with the unique copy stored as a value of the given map; also instantiates all quantified variables and stores them in the given map.

Specified by:

consolidateVariables in class Constraint

Parameters:

m - The map in which to find unique copies of the variables.

propositionalize

public PropositionalConstraint propositionalize()

Transforms this first order constraint into a propositional constraint.

Specified by:

propositionalize in class FirstOrderConstraint

Returns:

The propositionalized constraint.

hashCode

public int hashCode()

The hash code of a FirstOrderConstant is the hash code of the Boolean object formed from the constant.

Overrides:

hashCode in class java.lang.Object

Returns:

The hash code for this FirstOrderConstant.

equals

public boolean equals(java.lang.Object o)

Two FirstOrderConstants are equivalent when their constants are equal.

Overrides:

equals in class java.lang.Object

Returns:

true iff the argument is a FirstOrderConstant set to the same value as this constant.

runVisit

public void runVisit(Inference infer)

Calls the appropriate visit(·) method of the given Inference for this Constraint, as per the visitor pattern.

Specified by:

runVisit in class Constraint

Parameters:

infer - The inference visiting this constraint.