edu.kit.iti.lfm.spotlight

Class Formula.Not

java.lang.Object

edu.kit.iti.lfm.spotlight.Formula

edu.kit.iti.lfm.spotlight.Formula.Not

Enclosing class:

Formula

public static final class Formula.Not
extends Formula

Propositional negation

The negation takes one subformula.

Author:

Mattias Ulbrich, David Farago

Nested Class Summary

Nested classes/interfaces inherited from class edu.kit.iti.lfm.spotlight.Formula

Formula.And, Formula.Equiv, Formula.Impl, Formula.Literal, Formula.Not, Formula.Or

Field Summary

Fields inherited from class edu.kit.iti.lfm.spotlight.Formula

depth, FALSE, TRUE

Constructor Summary

Constructors

Constructor and Description
Formula.Not(Formula f1) Instantiate a new negated formula.

Method Summary

Methods

Modifier and Type	Method and Description
int	accept(FormulaVisitor visitor) Entry point for a FormulaVisitor.
String	toString() Return a string representation of the object.

Methods inherited from class edu.kit.iti.lfm.spotlight.Formula

countSubFormulas, equals, getSubFormula, hashCode

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

Formula.Not

public Formula.Not(Formula f1)

Instantiate a new negated formula.

Parameters:

f1 - a non-null reference to an arbitrary formula

Method Detail

accept

public int accept(FormulaVisitor visitor)

Description copied from class: Formula

Entry point for a FormulaVisitor.

This methods realises the accept-part of the visitor pattern.

Specified by:

accept in class Formula

Parameters:

visitor - a non-null visitor reference

Returns:

an integer value, its meanings depends on the visitor.

toString

public String toString()

Description copied from class: Formula

Return a string representation of the object.

Formulas are represented using unicode infix and prefix operators.

Specified by:

toString in class Formula

Returns:

a string representation of this formula.