Uses of Class
fmrisc.Syntax.ASTBase

Packages that use ASTBase

fmrisc.Syntax

Uses of ASTBase in fmrisc.Syntax

Subclasses of ASTBase in fmrisc.Syntax

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	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