Package astra.formula

Class FormulaVariable

java.lang.Object

astra.formula.FormulaVariable

All Implemented Interfaces:

Formula, Serializable

public class FormulaVariable
extends Object
implements Formula

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor	Description
FormulaVariable(Variable variable)

Method Summary

Modifier and Type	Method	Description
Object	accept(LogicVisitor visitor)
boolean	matches(Formula formula)
Formula	value()
void	value(Formula value)
Variable	variable()

Methods inherited from class java.lang.Object

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

Constructor Details

FormulaVariable

public FormulaVariable(Variable variable)

Method Details

accept

public Object accept(LogicVisitor visitor)

Specified by:

accept in interface Formula

variable

public Variable variable()

value

public Formula value()

value

public void value(Formula value)

matches

public boolean matches(Formula formula)

Specified by:

matches in interface Formula