Uses of Interface
fmrisc.Syntax.AST

Packages that use AST

fmrisc.Communication
fmrisc.Proving.CVCL
fmrisc.Syntax

Uses of AST in fmrisc.Communication

Methods in fmrisc.Communication that return AST

AST	BreakInfo.getTree() Get the tree to which this break information belongs.

Methods in fmrisc.Communication with parameters of type AST

static BreakInfo	BreakInfo.compute(AST tree, boolean mathml) Construct the line break information for the denoted tree.
static nl.tue.win.riaca.openmath.lang.OMObject	OpenMath.toOpenMath(AST ast) Convert AST to OpenMath object.

Uses of AST in fmrisc.Proving.CVCL

Methods in fmrisc.Proving.CVCL that return AST

AST	CVCLParser.declaration()
AST	CVCLParser.main()

Methods in fmrisc.Proving.CVCL with parameters of type AST

static void	CVCLPrinter.print(AST tree, java.io.PrintWriter out) Print abstract syntax tree in CVCL syntax.
static java.lang.String	CVCLPrinter.toString(AST tree) Convert abstract syntax tree to CVCL syntax.

Uses of AST in fmrisc.Syntax

Subinterfaces of AST in fmrisc.Syntax

interface	Declaration Interface for declarations.
interface	Expression Interface to expressions (terms and formulas).
interface	Selector Interface to selectors.
interface	Type Interface to types.

Classes in fmrisc.Syntax that implement AST

class	AndFormula Handling of conjunctions.
class	ApplicationExpression Handling of function and predicate applications.
class	ArrayTerm Handling of array terms.
class	ArrayType Handling of array types.
class	ASTBase Base class of abstract syntax trees.
class	AtomicType Handling of atomic types.
class	AxiomDeclaration Handling of type declarations.
class	BinaryExpression Abstract base class of binary expressions
class	DeclarationBase Base class of type expressions.
class	DividesTerm Handling of quotients.
class	EqualsFormula Handling of equalities.
class	EquivalentFormula Handling of equivalences.
class	ExistsFormula Handling of universally quantified formulas.
class	ExpressionBase Base class of all expressions (terms and formulas)
class	ForallFormula Handling of universally quantified formulas.
class	FormulaDeclaration Handling of type declarations.
class	FormulaDeclIdentifier Handling of identifiers used in type declarations
class	FunctionType Handling of function type expressions
class	GreaterEqualFormula Handling of greater-than-or-equal formulas.
class	GreaterFormula Handling of greater-than formulas.
class	Identifier Handling of identifiers.
class	IfThenElseExpression Handling of if-then-else expressions.
class	ImpliesFormula Handling of implications
class	LambdaTerm Handling of lambda terms.
class	LessEqualFormula Handling of less-than-or-equal formulas.
class	LessFormula Handling of less-than formulas.
class	LetExpression Handling of terms with local bindings.
class	LetType Handling of terms with local bindings.
class	Logical Logical constants.
class	MinusTerm Handling of differences.
class	NegationTerm Handling of negated (minus) terms
class	NotEqualsFormula Handling of conjunctions
class	NotEquivalentFormula Handling of conjunctions
class	NotFormula Handling of negations
class	Number Handling of numbers.
class	OrFormula Handling of disjunctions.
class	PlusTerm Handling of binary sums.
class	PowerTerm Handling of power terms.
class	QuantifiedExpression Abstract base class of quantified expressions.
class	RecordTerm Handling of record terms.
class	RecordType Handling of record types.
class	Reference Handling of identifiers used in declarations
class	SelectionTerm Handling of component access by index selections.
class	SelectorBase Base class of selector expressions.
class	SelectorIdentifier Identifier as selector.
class	SelectorIndex General index expression as selector.
class	SelectorNumber Number as selector.
class	SubrangeType Subranges of integers.
class	SubType Predicated subtypes.
class	TimesTerm Handling of conjunctions
class	TupleTerm Handling of tuple terms.
class	TupleType Handling of tuple types.
class	TypeBase Base class of type expressions.
class	TypeDeclaration Handling of type declarations.
class	TypeDeclIdentifier Handling of identifiers used in type declarations
class	TypedIdentifier Handling of typed identifiers.
class	UnaryExpression Abstract base class of unary expressions
class	UpdateTerm Handling of component updates by index selection.
class	ValueDeclaration Handling of value declarations.
class	ValueDeclIdentifier Handling of identifiers used in value declarations
class	ValuedIdentifier Handling of identifier with value

Methods in fmrisc.Syntax that return AST

AST	SubType.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	ValueDeclaration.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	ValuedIdentifier.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	SelectorIndex.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	AST.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	Logical.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	TypedIdentifier.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	SelectorIdentifier.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	UpdateTerm.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	RecordType.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	SubrangeType.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	Reference.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	FormulaDeclIdentifier.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	TypeDeclaration.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	TupleType.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	ArrayType.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	AtomicType.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	RecordTerm.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	TupleTerm.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	FormulaDeclaration.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	LetType.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	BinaryExpression.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	QuantifiedExpression.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	Number.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	ApplicationExpression.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	FunctionType.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	ValueDeclIdentifier.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	SelectorNumber.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	LetExpression.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	IfThenElseExpression.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	UnaryExpression.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	AxiomDeclaration.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	SelectionTerm.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	TypeDeclIdentifier.accept(ASTVisitor visitor) Accept visitor for a visit.
AST	ASTVisitor.visit(AST tree) Visit an abstract syntax tree.
AST	ASTVisitorBase.visit(AST tree) Visit an abstract syntax tree.

Methods in fmrisc.Syntax with parameters of type AST

static java.lang.String	ASTUtil.canonicalText(AST exp) get canonical text of expression (variable names replaced by numbers).
AST	ASTVisitor.visit(AST tree) Visit an abstract syntax tree.
AST	ASTVisitorBase.visit(AST tree) Visit an abstract syntax tree.