package formula;


/**
  The negation of a formula.
*/
public class Negation implements Formula {
  Formula subformula;
  /**
    Constructs the negation of a formula
    @param _subformula The formula being negated.
  */
  public Negation(Formula _subformula) {  subformula = _subformula;  }
}