de.be4.classicalb.core.parser.node
Interfaces
Switch
Switchable
Classes
AAbstractConstantsContextClause
AAbstractConstantsMachineClause
AAbstractMachineParseUnit
AAddExpression
AAnticipatedEventstatus
AAnySubstitution
AArityExpression
AAssertionsMachineClause
AAssertionSubstitution
AAssignSubstitution
AAxiomsContextClause
ABecomesElementOfSubstitution
ABecomesSuchSubstitution
ABinExpression
ABlockSubstitution
ABooleanFalseExpression
ABooleanTrueExpression
ABoolSetExpression
ABtreeExpression
ACardExpression
ACartesianProductExpression
ACaseOrSubstitution
ACaseSubstitution
AChoiceOrSubstitution
AChoiceSubstitution
AClosureExpression
ACompositionExpression
AComprehensionSetExpression
AComputationOperation
AConcatExpression
AConcreteVariablesMachineClause
AConjunctPredicate
AConstantsContextClause
AConstantsMachineClause
AConstExpression
AConstraintsMachineClause
AConstructorFreetypeConstructor
AConvergentEventstatus
AConversionDefinition
AConvertBoolExpression
ACoupleExpression
ADefArgpattern
ADeferredSetSet
ADefineSubstitution
ADefinitionExpression
ADefinitionFileParseUnit
ADefinitionPredicate
ADefinitionsMachineClause
ADefinitionSubstitution
ADescriptionExpression
ADescriptionPredicate
ADescriptionSet
ADirectProductExpression
ADisjunctPredicate
ADivExpression
ADomainExpression
ADomainRestrictionExpression
ADomainSubtractionExpression
AElementFreetypeConstructor
AEmptySequenceExpression
AEmptySetExpression
AEnumeratedSetSet
AEqualPredicate
AEquivalencePredicate
AEvent
AEventBComprehensionSetExpression
AEventBContextParseUnit
AEventBFirstProjectionExpression
AEventBFirstProjectionV2Expression
AEventBIdentityExpression
AEventBModelParseUnit
AEventBSecondProjectionExpression
AEventBSecondProjectionV2Expression
AEventsModelClause
AExistsPredicate
AExpressionDefinition
AExpressionDefinitionDefinition
AExpressionParseUnit
AExpressionsMachineClause
AExtendedExprExpression
AExtendedPredPredicate
AExtendsContextClause
AExtendsMachineClause
AFalsityPredicate
AFatherExpression
AFileDefinitionDefinition
AFileExpression
AFileMachineReference
AFin1SubsetExpression
AFinitePredicate
AFinSubsetExpression
AFirstExpression
AFirstProjectionExpression
AFlooredDivExpression
AForallPredicate
AForallSubMessageSubstitution
AForLoopSubstitution
AFreetype
AFreetypesMachineClause
AFrontExpression
AFuncOpSubstitution
AFunctionExpression
AFunctionOperation
AGeneralConcatExpression
AGeneralIntersectionExpression
AGeneralProductExpression
AGeneralSumExpression
AGeneralUnionExpression
AGeneratedParseUnit
AGreaterEqualPredicate
AGreaterPredicate
AHexIntegerExpression
AIdentifierExpression
AIdentityExpression
AIfElsifExprExpression
AIfElsifSubstitution
AIfPredicatePredicate
AIfSubstitution
AIfThenElseExpression
AImageExpression
AImplementationMachineParseUnit
AImplicationPredicate
AImportPackage
AImportsMachineClause
AIncludesMachineClause
AInferredUnitExpression
AInfixExpression
AInitialisationMachineClause
AInsertFrontExpression
AInsertTailExpression
AIntegerExpression
AIntegerSetExpression
AIntersectionExpression
AIntervalExpression
AIntSetExpression
AInvalidOperationsClauseMachineClause
AInvalidSubstitution
AInvariantMachineClause
AInvariantModelClause
AIseq1Expression
AIseqExpression
AIterationExpression
ALabelPredicate
ALambdaExpression
ALastExpression
ALeftExpression
ALessEqualPredicate
ALessPredicate
ALetExpressionExpression
ALetPredicatePredicate
ALetSubstitution
ALocalOperationsMachineClause
AMachineClauseParseUnit
AMachineHeader
AMachineMachineVariant
AMachineReference
AMaxExpression
AMaxIntExpression
AMemberPredicate
AMinExpression
AMinIntExpression
AMinusExpression
AMinusOrSetSubtractExpression
AMirrorExpression
AMissingSemicolonOperation
AModelMachineVariant
AModuloExpression
AMultilineStringExpression
AMultiplicationExpression
AMultOrCartExpression
ANat1SetExpression
ANatSetExpression
ANatural1SetExpression
ANaturalSetExpression
ANegationPredicate
ANewUnitExpression
ANotEqualPredicate
ANotMemberPredicate
ANotSubsetPredicate
ANotSubsetStrictPredicate
AOperation
AOperationAttribute
AOperationCallExpression
AOperationCallSubstitution
AOperationsMachineClause
AOperatorExpression
AOperatorPredicate
AOperatorSubstitution
AOppatternParseUnit
AOpSubstitution
AOrdinaryEventstatus
AOverwriteExpression
APackageParseUnit
AParallelProductExpression
AParallelSubstitution
AParseUnitDefinitionParseUnit
APartialBijectionExpression
APartialFunctionExpression
APartialInjectionExpression
APartialSurjectionExpression
APartitionPredicate
APermExpression
APostfixExpression
APow1SubsetExpression
APowerOfExpression
APowSubsetExpression
APreconditionSubstitution
APredecessorExpression
APredicateAttributeOperationAttribute
APredicateDefinition
APredicateDefinitionDefinition
APredicateFunctionPredicate
APredicateIdentifierPredicate
APredicateParseUnit
APredicatesMachineClause
APrefixExpression
APrimedIdentifierExpression
APromotesMachineClause
APropertiesMachineClause
AProverComprehensionSetExpression
AQuantifiedIntersectionExpression
AQuantifiedUnionExpression
ARangeExpression
ARangeRestrictionExpression
ARangeSubtractionExpression
ARankExpression
ARecEntry
ARecExpression
ARecordFieldExpression
AReferencesMachineClause
ARefinedOperation
ARefinementMachineParseUnit
ARefinesModelClause
AReflexiveClosureExpression
ARelationsExpression
ARestrictFrontExpression
ARestrictTailExpression
AReverseExpression
ARevExpression
ARightExpression
ARingExpression
ARuleFailSubSubstitution
ARuleOperation
ASecondProjectionExpression
ASeesMachineClause
ASeesModelClause
ASelectSubstitution
ASelectWhenSubstitution
ASeq1Expression
ASeqExpression
ASequenceExtensionExpression
ASequenceSubstitution
ASetExtensionExpression
ASetsContextClause
ASetsMachineClause
ASetSubtractionExpression
ASizeExpression
ASizetExpression
ASkipSubstitution
ASonExpression
ASonsExpression
AStringExpression
AStringSetExpression
AStructExpression
ASubsetPredicate
ASubsetStrictPredicate
ASubstitutionDefinitionDefinition
ASubstitutionParseUnit
ASubstitutionPredicate
ASubtreeExpression
ASuccessorExpression
ASurjectionRelationExpression
ASymbolicComprehensionSetExpression
ASymbolicLambdaExpression
ASymbolicQuantifiedUnionExpression
ASystemMachineVariant
ATailExpression
ATheoremsContextClause
ATheoremsModelClause
ATopExpression
ATotalBijectionExpression
ATotalFunctionExpression
ATotalInjectionExpression
ATotalRelationExpression
ATotalSurjectionExpression
ATotalSurjectionRelationExpression
ATransFunctionExpression
ATransRelationExpression
ATreeExpression
ATruthPredicate
ATypeofExpression
AUnaryMinusExpression
AUndefArgpattern
AUnionExpression
AUnitAliasParseUnit
AUnitExpression
AUsesMachineClause
AValuesEntry
AValuesMachineClause
AVariablesMachineClause
AVariablesModelClause
AVariantModelClause
AVarSubstitution
AWhileSubstitution
AWitness
EOF
Node
PArgpattern
PContextClause
PDefinition
PEvent
PEventstatus
PExpression
PExpressionDefinition
PFreetype
PFreetypeConstructor
PImportPackage
PMachineClause
PMachineHeader
PMachineReference
PMachineVariant
PModelClause
POperation
POperationAttribute
PParseUnit
PPredicate
PPredicateDefinition
PRecEntry
PSet
PSubstitution
PValuesEntry
PWitness
Start
TAbstractConstants
TAbstractVariables
TAny
TArity
TAssert
TAssertions
TAssign
TBe
TBegin
TBfalse
TBin
TBool
TBoolCast
TBtree
TCard
TCase
TChoice
TClosure
TClosure1
TComma
TComment
TCommentBody
TCommentEnd
TConc
TConcatSequence
TConcreteConstants
TConcreteVariables
TConjunction
TConst
TConstants
TConstraints
TDefinitions
TDefLiteralPredicate
TDefLiteralSubstitution
TDirectProduct
TDivision
TDo
TDollar
TDom
TDomainRestriction
TDomainSubtraction
TDot
TDoubleColon
TDoubleEqual
TDoubleVerticalBar
TEither
TElementOf
TElse
TElsif
TEmptySet
TEnd
TEqual
TEquivalence
TExists
TExpressions
TExtends
TFalse
TFather
TFin
TFin1
TFirst
TFnc
TForAny
TFront
TGeneralizedInter
TGeneralizedUnion
TGreater
TGreaterEqual
THexLiteral
TId
TIdentifierLiteral
TIf
TImplementation
TImplies
TImports
TIn
TIncludes
TInclusion
TInfix
TInitialisation
TInsertEndSequence
TInsertStartSequence
TInt
TInteger
TIntegerLiteral
TIntersection
TInterval
TInvariant
TIpragmaUnit
TIseq
TIseq1
TIterate
TKwAbstractConstants
TKwAbstractVariables
TKwAssertions
TKwAttributeIdentifier
TKwBody
TKwComputation
TKwConcreteConstants
TKwConcreteVariables
TKwConstants
TKwConstraints
TKwCounterexample
TKwDefine
TKwDefinition
TKwDefinitions
TKwDummyValue
TKwExpect
TKwExpression
TKwExpressionOperator
TKwExtends
TKwFor
TKwFormula
TKwFreetypes
TKwFunction
TKwImports
TKwIncludes
TKwInitialisation
TKwInvariant
TKwLocalOperations
TKwMachineClause
TKwOperations
TKwOppattern
TKwPredicate
TKwPredicateAttribute
TKwPredicateOperator
TKwPromotes
TKwProperties
TKwReferences
TKwRule
TKwRuleErrorType
TKwRuleFail
TKwRuleForAll
TKwRulesMachine
TKwSees
TKwSets
TKwSubstitution
TKwSubstitutionOperator
TKwType
TKwUses
TKwValue
TKwValues
TKwVariables
TLambda
TLast
TLeft
TLeftBrace
TLeftBracket
TLeftPar
TLess
TLessEqual
TLet
TLineComment
TLocalOperations
TLogicalOr
TMachine
TMaplet
TMax
TMaxInt
TMin
TMinInt
TMinus
TMirror
TMod
TModel
TMultilineStringContent
TMultilineStringEnd
TMultilineStringStart
TNat
TNat1
TNatural
TNatural1
TNewPragmaUnit
TNonInclusion
TNot
TNotBelonging
TNotEqual
TOf
Token
TOperations
TOr
TOutputParameters
TOverwriteRelation
TPartialBijection
TPartialFunction
TPartialInjection
TPartialSurjection
TPerm
TPi
TPlus
TPostfix
TPow
TPow1
TPowerOf
TPragmaConversion
TPragmaDescription
TPragmaEnd
TPragmaFile
TPragmaFreeText
TPragmaGenerated
TPragmaIdOrString
TPragmaImportPackage
TPragmaLabel
TPragmaPackage
TPragmaStart
TPragmaSymbolic
TPragmaUnit
TPragmaUnitAlias
TPre
TPred
TPredicateIdentifier
TPredicates
TPrefix
TPrj1
TPrj2
TProduct
TPromotes
TProperties
TQuantifiedInter
TQuantifiedSet
TQuantifiedUnion
TRan
TRangeRestriction
TRangeSubtraction
TRank
TRec
TRefinement
TRefines
TRel
TRestrictHeadSequence
TRestrictTailSequence
TRev
TRight
TRightBrace
TRightBracket
TRightPar
TSees
TSelect
TSemicolon
TSeq
TSeq1
TSetRelation
TSets
TSetSubtraction
TShebang
TShebangChar
TShebangEnd
TSigma
TSingleQuotation
TSize
TSizet
TSkip
TSlash
TSon
TSons
TStar
TStrictInclusion
TStrictNonInclusion
TString
TStringLiteral
TStruct
TSubtree
TSucc
TSurjectionRelation
TSystem
TTail
TThen
TTilde
TTop
TTotalBijection
TTotalFunction
TTotalInjection
TTotalRelation
TTotalSurjection
TTotalSurjectionRelation
TTree
TTrue
TTruthPredicate
TUnderscore
TUnion
TUnitContent
TUnitId
TUses
TValue
TVar
TVariables
TVariant
TVerticalBar
TWhen
TWhere
TWhile
TWhiteSpace