package formula;


/**
  A logical variable, representing true or false
  (but we may not know which).
*/
public class LogicalVariable extends Named implements Formula {
  /**
    Constructs a logical variable.
    @param _name The variables's name.
  */
  public LogicalVariable(String _name) {  super(_name);  }
}