formula
Class Negation

java.lang.Object
  formula.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

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.