formula
Class LogicalVariable

java.lang.Object
  formula.Named
      formula.LogicalVariable

All Implemented Interfaces:

Formula, java.lang.Comparable

public class LogicalVariable
extends Named
implements Formula

A logical variable, representing true or false (but we may not know which).

Constructor Summary

LogicalVariable(java.lang.String _name)
Constructs a logical variable.

Method Summary

Methods inherited from class formula.Named

compareTo, equals

Methods inherited from class java.lang.Object

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

Constructor Detail

LogicalVariable

public LogicalVariable(java.lang.String _name)

Constructs a logical variable.

Parameters:

_name - The variables's name.