package formula;


/**
  A logical constant, representing true or false.
*/
public class LogicalConstant implements Formula {
  boolean value;
  /**
    Constructs a logical constant.
    @param _value The constant's value.
  */
  public LogicalConstant(boolean _value) {  value = _value;  }
}