package formulaVisited;


/**
  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;  }

  public Object accept(Visitor _v) {  return _v.visit(this);  }

}