fmrisc.ProgramExplorer.Syntax.Logic

Interfaces

• ASTLogic
• Definition
• Expression
• Formula
• ProgramVariable
• Selector
• Term
• Type
• ValueDeclaration
• ValueDefinition

Classes

• AndFormula
• ApplicationExpression
• ArrayTerm
• ArrayType
• ASTLogicBase
• AtomicFormula
• AtomicType
• AxiomDefinition
• BinaryAtomicFormula
• BinaryExpression
• BinaryFormula
• BinaryTerm
• BitAndTerm
• BitFalse
• BitLiteral
• BitNegationTerm
• BitOrTerm
• BitTrue
• BitType
• BooleanLiteral
• BooleanType
• Constant
• DeclarationBase
• DefinitionBase
• DividesTerm
• EqualsFormula
• EquivalentFormula
• ExistsFormula
• ExpressionBase
• False
• ForallFormula
• FormulaBase
• FormulaDefinition
• 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
• TypeDeclaration
• TypeDefinition
• TypedIdentifier
• UnaryExpression
• UnaryFormula
• UnaryTerm
• UpdateTerm
• ValueDeclarationClass
• ValueDeclarationFormula
• ValueDeclarationInitialized
• ValueDefinitionClass
• ValuedIdentifier
• WritesOnlyFormula