formulaVisited
Class Negation

java.lang.Object
  formulaVisited.Negation

All Implemented Interfaces:

Formula

public class Negation
extends java.lang.Object
implements Formula

The negation of a formula.

Constructor Summary

Negation(Formula _subformula)
Constructs the negation of a formula

Method Summary

java.lang.Object

accept(Visitor _v) Accepts a visitor.

Methods inherited from class java.lang.Object

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

Constructor Detail

Negation

public Negation(Formula _subformula)

Constructs the negation of a formula

Parameters:

_subformula - The formula being negated.

Method Detail

accept

public java.lang.Object accept(Visitor _v)

Description copied from interface: Formula

Accepts a visitor. Each subclass implements this method as { return _v.visit(this); }, and the compiler identifies the right Visitor method based on the subclass (which is the type of this).

Specified by:

accept in interface Formula

Parameters:

_v - The visitor.

Returns:

The result _v calculates for this formula.