edu.kit.iti.lfm.spotlight

Class Formula.And

java.lang.Object

edu.kit.iti.lfm.spotlight.Formula

edu.kit.iti.lfm.spotlight.Formula.And

Enclosing class:

Formula

public static final class Formula.And
extends Formula

Propositional conjunction

The conjunction takes two subformulas.

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.And(Formula f1, Formula f2) Instantiate a new conjunction.

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.And

public Formula.And(Formula f1,
           Formula f2)

Instantiate a new conjunction.

Parameters:

f1 - a non-null reference to an arbitrary formula

f2 - 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.