fmrisc.ProgramExplorer.Syntax.Logic

Interface ASTLogic

All Superinterfaces:

AST

All Known Subinterfaces:

Expression, Formula, ProgramVariable, Selector, Term, Type

All Known Implementing Classes:

AndFormula, ApplicationExpression, ArrayTerm, ArrayType, AtomicFormula, AtomicType, BinaryAtomicFormula, BinaryExpression, BinaryFormula, BinaryTerm, BitAndTerm, BitFalse, BitLiteral, BitNegationTerm, BitOrTerm, BitTrue, BitType, BooleanLiteral, BooleanType, Constant, DividesTerm, EqualsFormula, EquivalentFormula, ExistsFormula, ExpressionBase, False, ForallFormula, FormulaBase, FunctionApplication, FunctionType, GreaterEqualFormula, GreaterFormula, IfThenElseExpression, IfThenElseFormula, IfThenElseTerm, ImpliesFormula, IntLiteral, IntType, LambdaFormula, LambdaTerm, LessEqualFormula, LessFormula, LetExpression, LetFormula, LetTerm, MinusTerm, NatType, NegationTerm, NewState, NotEqualsFormula, NotEquivalentFormula, NotFormula, OldState, OrFormula, PlusTerm, PostfixApplication, PostfixFormula, PostfixTerm, PostVariable, PowerTerm, PreVariable, ProgramVariableBase, QuantifiedExpression, QuantifiedFormula, QuantifiedTerm, ReadsOnlyFormula, Real0Type, RealType, RecordTerm, RecordType, Reference, SelectionTerm, SelectorBase, SelectorIdentifier, SelectorIndex, SelectorNumber, SimilarFormula, StateBreaks, StateContinues, StateExecutes, StateLiteral, StateMessage, StateReturns, StateThrows, StateThrowsException, StateType, StateValue, StringLiteral, StringType, SubrangeType, SubType, TermApplication, TermBase, TimesTerm, True, TupleTerm, TupleType, TypeBase, UnaryExpression, UnaryFormula, UnaryTerm, UpdateTerm, WritesOnlyFormula

public interface ASTLogic
extends AST

Interface to any kind of logical syntax.

Method Summary

Methods inherited from interface fmrisc.ProgramExplorer.Syntax.AST

accept, accept, acceptChildren, print, printCore, toString, toStringCore