Package astra.formula

Interface Formula

All Superinterfaces:

Serializable

All Known Implementing Classes:

AcreFormula, AND, Bind, BracketFormula, Comparison, FormulaVariable, Goal, Inference, IsDone, IsNull, ModuleFormula, NOT, OR, Predicate, ScopedGoal, Utilities.PredicateState

public interface Formula
extends Serializable

Method Summary

Modifier and Type	Method	Description
Object	accept(LogicVisitor visitor)
boolean	matches(Formula formula)

Method Details

accept

Object accept(LogicVisitor visitor)

matches

boolean matches(Formula formula)