edu.kit.iti.lfm.spotlight

Class Formula.Literal

java.lang.Object

edu.kit.iti.lfm.spotlight.Formula

edu.kit.iti.lfm.spotlight.Formula.Literal

Enclosing class:

Formula

public static final class Formula.Literal
extends Formula

Prositional literal

Literals are the basic blocks of formulas. A literal holds exactly one integer value. If the value is positive, then the variable of that number is referenced. If it is negative, then the negation of the variable denoted by the absolute value is referenced.

0 is not allowed as a literal.

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.Literal(int literal) Instantiate a new literal.

Method Summary

Methods

Modifier and Type	Method and Description
int	accept(FormulaVisitor visitor) Entry point for a FormulaVisitor.
int	getValue()
int	getVar()
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.Literal

public Formula.Literal(int literal)
                throws IllegalArgumentException

Instantiate a new literal.

If literal is positive, the object captures the variable of that number. If it is negative, then the object captures the logical negation of the variable -literal

0 is not allowed as parameter

Parameters:

literal - the variable or negation of variable

Throws:

IllegalArgumentException - if literal == 0

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.

getValue

public int getValue()

getVar

public int getVar()