formulaVisited
Class Environment

java.lang.Object
  formulaVisited.Environment

public class Environment
extends java.lang.Object

An environment in which to evaluate a formula. The environment may contain definitions of logical variables (true or false).

Constructor Summary

Environment()
Constructs a new, empty environment.

Method Summary

void	bind(LogicalVariable _variable, boolean _value) Binds a logical variable to a boolean value.
java.lang.Boolean	get(LogicalVariable _variable) Get the binding of a logical variable.

Methods inherited from class java.lang.Object

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

Constructor Detail

Environment

public Environment()

Constructs a new, empty environment.

Method Detail

bind

public void bind(LogicalVariable _variable,
                 boolean _value)

Binds a logical variable to a boolean value.

Parameters:

_variable - The logical variable.

_value - Its boolean value.

get

public java.lang.Boolean get(LogicalVariable _variable)

Get the binding of a logical variable.

Parameters:

_variable - The logical variable

Returns:

The domain constant the variable is bound to, or null if it is not bound.