nonTerminalId (Averest)

nonTerminalId Type

Namespace: Averest.Systems
Assembly: Averest.dll
Parent Module: Parser
Base Type: obj
All Interfaces: IEquatable<nonTerminalId> , IStructuralEquatable , IComparable<nonTerminalId> , IComparable , IStructuralComparable

Union cases

Union case	Description
`NONTERM_AIFModule` Full Usage: `NONTERM_AIFModule`
`NONTERM_AIFSystem` Full Usage: `NONTERM_AIFSystem`
`NONTERM_AbbrevTable` Full Usage: `NONTERM_AbbrevTable`
`NONTERM_Abbreviation` Full Usage: `NONTERM_Abbreviation`
`NONTERM_AbbreviationList` Full Usage: `NONTERM_AbbreviationList`
`NONTERM_Abbreviations` Full Usage: `NONTERM_Abbreviations`
`NONTERM_AbrtCond` Full Usage: `NONTERM_AbrtCond`
`NONTERM_AbrtName` Full Usage: `NONTERM_AbrtName`
`NONTERM_AbsReaction` Full Usage: `NONTERM_AbsReaction`
`NONTERM_AbsReactionList` Full Usage: `NONTERM_AbsReactionList`
`NONTERM_AbsReactions` Full Usage: `NONTERM_AbsReactions`
`NONTERM_Acceptance` Full Usage: `NONTERM_Acceptance`
`NONTERM_Action` Full Usage: `NONTERM_Action`
`NONTERM_Args` Full Usage: `NONTERM_Args`
`NONTERM_ArrCasesList` Full Usage: `NONTERM_ArrCasesList`
`NONTERM_ArrExpr` Full Usage: `NONTERM_ArrExpr`
`NONTERM_ArrExprList` Full Usage: `NONTERM_ArrExprList`
`NONTERM_Assertions` Full Usage: `NONTERM_Assertions`
`NONTERM_Assumptions` Full Usage: `NONTERM_Assumptions`
`NONTERM_BoolCasesList` Full Usage: `NONTERM_BoolCasesList`
`NONTERM_BoolExpr` Full Usage: `NONTERM_BoolExpr`
`NONTERM_BoolExprList` Full Usage: `NONTERM_BoolExprList`
`NONTERM_BtvCasesList` Full Usage: `NONTERM_BtvCasesList`
`NONTERM_BtvExpr` Full Usage: `NONTERM_BtvExpr`
`NONTERM_BtvExprList` Full Usage: `NONTERM_BtvExprList`
`NONTERM_CallInvar` Full Usage: `NONTERM_CallInvar`
`NONTERM_CompileContext` Full Usage: `NONTERM_CompileContext`
`NONTERM_ControlFlow` Full Usage: `NONTERM_ControlFlow`
`NONTERM_ControlledVars` Full Usage: `NONTERM_ControlledVars`
`NONTERM_DataFlow` Full Usage: `NONTERM_DataFlow`
`NONTERM_Decl` Full Usage: `NONTERM_Decl`
`NONTERM_DeclList` Full Usage: `NONTERM_DeclList`
`NONTERM_Depth` Full Usage: `NONTERM_Depth`
`NONTERM_DepthCall` Full Usage: `NONTERM_DepthCall`
`NONTERM_DepthCallList` Full Usage: `NONTERM_DepthCallList`
`NONTERM_DepthCalls` Full Usage: `NONTERM_DepthCalls`
`NONTERM_Dimension` Full Usage: `NONTERM_Dimension`
`NONTERM_Drivers` Full Usage: `NONTERM_Drivers`
`NONTERM_Expr` Full Usage: `NONTERM_Expr`
`NONTERM_ExprList` Full Usage: `NONTERM_ExprList`
`NONTERM_Fairness` Full Usage: `NONTERM_Fairness`
`NONTERM_FixEqu` Full Usage: `NONTERM_FixEqu`
`NONTERM_FixEquList` Full Usage: `NONTERM_FixEquList`
`NONTERM_FixedQName` Full Usage: `NONTERM_FixedQName`
`NONTERM_GrdAction` Full Usage: `NONTERM_GrdAction`
`NONTERM_GrdActionList` Full Usage: `NONTERM_GrdActionList`
`NONTERM_Initial` Full Usage: `NONTERM_Initial`
`NONTERM_InsdCond` Full Usage: `NONTERM_InsdCond`
`NONTERM_InsdName` Full Usage: `NONTERM_InsdName`
`NONTERM_InstCond` Full Usage: `NONTERM_InstCond`
`NONTERM_InstName` Full Usage: `NONTERM_InstName`
`NONTERM_IntCasesList` Full Usage: `NONTERM_IntCasesList`
`NONTERM_IntExpr` Full Usage: `NONTERM_IntExpr`
`NONTERM_IntExprList` Full Usage: `NONTERM_IntExprList`
`NONTERM_Interface` Full Usage: `NONTERM_Interface`
`NONTERM_Invar` Full Usage: `NONTERM_Invar`
`NONTERM_LhsExpr` Full Usage: `NONTERM_LhsExpr`
`NONTERM_LhsExprList` Full Usage: `NONTERM_LhsExprList`
`NONTERM_Locals` Full Usage: `NONTERM_Locals`
`NONTERM_NatCasesList` Full Usage: `NONTERM_NatCasesList`
`NONTERM_NatExpr` Full Usage: `NONTERM_NatExpr`
`NONTERM_NatExprList` Full Usage: `NONTERM_NatExprList`
`NONTERM_PrmtCond` Full Usage: `NONTERM_PrmtCond`
`NONTERM_PrmtName` Full Usage: `NONTERM_PrmtName`
`NONTERM_ProofGoal` Full Usage: `NONTERM_ProofGoal`
`NONTERM_ProofGoalList` Full Usage: `NONTERM_ProofGoalList`
`NONTERM_QName` Full Usage: `NONTERM_QName`
`NONTERM_QNameList` Full Usage: `NONTERM_QNameList`
`NONTERM_QType` Full Usage: `NONTERM_QType`
`NONTERM_QTypeList` Full Usage: `NONTERM_QTypeList`
`NONTERM_RealCasesList` Full Usage: `NONTERM_RealCasesList`
`NONTERM_RealExpr` Full Usage: `NONTERM_RealExpr`
`NONTERM_RealExprList` Full Usage: `NONTERM_RealExprList`
`NONTERM_SelectionList` Full Usage: `NONTERM_SelectionList`
`NONTERM_SpecExpr` Full Usage: `NONTERM_SpecExpr`
`NONTERM_Specification` Full Usage: `NONTERM_Specification`
`NONTERM_SpecificationList` Full Usage: `NONTERM_SpecificationList`
`NONTERM_Specifications` Full Usage: `NONTERM_Specifications`
`NONTERM_StatevarList` Full Usage: `NONTERM_StatevarList`
`NONTERM_Statevars` Full Usage: `NONTERM_Statevars`
`NONTERM_Storage` Full Usage: `NONTERM_Storage`
`NONTERM_StrgCond` Full Usage: `NONTERM_StrgCond`
`NONTERM_StrgName` Full Usage: `NONTERM_StrgName`
`NONTERM_StrtCond` Full Usage: `NONTERM_StrtCond`
`NONTERM_StrtName` Full Usage: `NONTERM_StrtName`
`NONTERM_Surface` Full Usage: `NONTERM_Surface`
`NONTERM_SurfaceCall` Full Usage: `NONTERM_SurfaceCall`
`NONTERM_SurfaceCallList` Full Usage: `NONTERM_SurfaceCallList`
`NONTERM_SurfaceCalls` Full Usage: `NONTERM_SurfaceCalls`
`NONTERM_SuspCond` Full Usage: `NONTERM_SuspCond`
`NONTERM_SuspName` Full Usage: `NONTERM_SuspName`
`NONTERM_SystemPart` Full Usage: `NONTERM_SystemPart`
`NONTERM_SystemPartList` Full Usage: `NONTERM_SystemPartList`
`NONTERM_TermCond` Full Usage: `NONTERM_TermCond`
`NONTERM_TermName` Full Usage: `NONTERM_TermName`
`NONTERM_TransEq` Full Usage: `NONTERM_TransEq`
`NONTERM_TransEqList` Full Usage: `NONTERM_TransEqList`
`NONTERM_TransEqs` Full Usage: `NONTERM_TransEqs`
`NONTERM_TransRel` Full Usage: `NONTERM_TransRel`
`NONTERM_Transfer` Full Usage: `NONTERM_Transfer`
`NONTERM_TransferList` Full Usage: `NONTERM_TransferList`
`NONTERM_Transfers` Full Usage: `NONTERM_Transfers`
`NONTERM_TupCasesList` Full Usage: `NONTERM_TupCasesList`
`NONTERM_TupExpr` Full Usage: `NONTERM_TupExpr`
`NONTERM_TupExprList` Full Usage: `NONTERM_TupExprList`
`NONTERM_VerifTask` Full Usage: `NONTERM_VerifTask`
`NONTERM__startAIFModule` Full Usage: `NONTERM__startAIFModule`
`NONTERM__startAIFSystem` Full Usage: `NONTERM__startAIFSystem`

Instance members

Instance member	Description
`this.IsNONTERM_AIFModule` Full Usage: `this.IsNONTERM_AIFModule` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_AIFSystem` Full Usage: `this.IsNONTERM_AIFSystem` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_AbbrevTable` Full Usage: `this.IsNONTERM_AbbrevTable` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_Abbreviation` Full Usage: `this.IsNONTERM_Abbreviation` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_AbbreviationList` Full Usage: `this.IsNONTERM_AbbreviationList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_Abbreviations` Full Usage: `this.IsNONTERM_Abbreviations` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_AbrtCond` Full Usage: `this.IsNONTERM_AbrtCond` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_AbrtName` Full Usage: `this.IsNONTERM_AbrtName` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_AbsReaction` Full Usage: `this.IsNONTERM_AbsReaction` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_AbsReactionList` Full Usage: `this.IsNONTERM_AbsReactionList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_AbsReactions` Full Usage: `this.IsNONTERM_AbsReactions` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_Acceptance` Full Usage: `this.IsNONTERM_Acceptance` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_Action` Full Usage: `this.IsNONTERM_Action` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_Args` Full Usage: `this.IsNONTERM_Args` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_ArrCasesList` Full Usage: `this.IsNONTERM_ArrCasesList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_ArrExpr` Full Usage: `this.IsNONTERM_ArrExpr` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_ArrExprList` Full Usage: `this.IsNONTERM_ArrExprList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_Assertions` Full Usage: `this.IsNONTERM_Assertions` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_Assumptions` Full Usage: `this.IsNONTERM_Assumptions` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_BoolCasesList` Full Usage: `this.IsNONTERM_BoolCasesList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_BoolExpr` Full Usage: `this.IsNONTERM_BoolExpr` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_BoolExprList` Full Usage: `this.IsNONTERM_BoolExprList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_BtvCasesList` Full Usage: `this.IsNONTERM_BtvCasesList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_BtvExpr` Full Usage: `this.IsNONTERM_BtvExpr` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_BtvExprList` Full Usage: `this.IsNONTERM_BtvExprList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_CallInvar` Full Usage: `this.IsNONTERM_CallInvar` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_CompileContext` Full Usage: `this.IsNONTERM_CompileContext` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_ControlFlow` Full Usage: `this.IsNONTERM_ControlFlow` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_ControlledVars` Full Usage: `this.IsNONTERM_ControlledVars` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_DataFlow` Full Usage: `this.IsNONTERM_DataFlow` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_Decl` Full Usage: `this.IsNONTERM_Decl` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_DeclList` Full Usage: `this.IsNONTERM_DeclList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_Depth` Full Usage: `this.IsNONTERM_Depth` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_DepthCall` Full Usage: `this.IsNONTERM_DepthCall` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_DepthCallList` Full Usage: `this.IsNONTERM_DepthCallList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_DepthCalls` Full Usage: `this.IsNONTERM_DepthCalls` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_Dimension` Full Usage: `this.IsNONTERM_Dimension` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_Drivers` Full Usage: `this.IsNONTERM_Drivers` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_Expr` Full Usage: `this.IsNONTERM_Expr` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_ExprList` Full Usage: `this.IsNONTERM_ExprList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_Fairness` Full Usage: `this.IsNONTERM_Fairness` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_FixEqu` Full Usage: `this.IsNONTERM_FixEqu` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_FixEquList` Full Usage: `this.IsNONTERM_FixEquList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_FixedQName` Full Usage: `this.IsNONTERM_FixedQName` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_GrdAction` Full Usage: `this.IsNONTERM_GrdAction` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_GrdActionList` Full Usage: `this.IsNONTERM_GrdActionList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_Initial` Full Usage: `this.IsNONTERM_Initial` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_InsdCond` Full Usage: `this.IsNONTERM_InsdCond` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_InsdName` Full Usage: `this.IsNONTERM_InsdName` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_InstCond` Full Usage: `this.IsNONTERM_InstCond` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_InstName` Full Usage: `this.IsNONTERM_InstName` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_IntCasesList` Full Usage: `this.IsNONTERM_IntCasesList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_IntExpr` Full Usage: `this.IsNONTERM_IntExpr` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_IntExprList` Full Usage: `this.IsNONTERM_IntExprList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_Interface` Full Usage: `this.IsNONTERM_Interface` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_Invar` Full Usage: `this.IsNONTERM_Invar` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_LhsExpr` Full Usage: `this.IsNONTERM_LhsExpr` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_LhsExprList` Full Usage: `this.IsNONTERM_LhsExprList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_Locals` Full Usage: `this.IsNONTERM_Locals` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_NatCasesList` Full Usage: `this.IsNONTERM_NatCasesList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_NatExpr` Full Usage: `this.IsNONTERM_NatExpr` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_NatExprList` Full Usage: `this.IsNONTERM_NatExprList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_PrmtCond` Full Usage: `this.IsNONTERM_PrmtCond` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_PrmtName` Full Usage: `this.IsNONTERM_PrmtName` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_ProofGoal` Full Usage: `this.IsNONTERM_ProofGoal` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_ProofGoalList` Full Usage: `this.IsNONTERM_ProofGoalList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_QName` Full Usage: `this.IsNONTERM_QName` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_QNameList` Full Usage: `this.IsNONTERM_QNameList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_QType` Full Usage: `this.IsNONTERM_QType` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_QTypeList` Full Usage: `this.IsNONTERM_QTypeList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_RealCasesList` Full Usage: `this.IsNONTERM_RealCasesList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_RealExpr` Full Usage: `this.IsNONTERM_RealExpr` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_RealExprList` Full Usage: `this.IsNONTERM_RealExprList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_SelectionList` Full Usage: `this.IsNONTERM_SelectionList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_SpecExpr` Full Usage: `this.IsNONTERM_SpecExpr` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_Specification` Full Usage: `this.IsNONTERM_Specification` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_SpecificationList` Full Usage: `this.IsNONTERM_SpecificationList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_Specifications` Full Usage: `this.IsNONTERM_Specifications` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_StatevarList` Full Usage: `this.IsNONTERM_StatevarList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_Statevars` Full Usage: `this.IsNONTERM_Statevars` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_Storage` Full Usage: `this.IsNONTERM_Storage` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_StrgCond` Full Usage: `this.IsNONTERM_StrgCond` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_StrgName` Full Usage: `this.IsNONTERM_StrgName` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_StrtCond` Full Usage: `this.IsNONTERM_StrtCond` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_StrtName` Full Usage: `this.IsNONTERM_StrtName` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_Surface` Full Usage: `this.IsNONTERM_Surface` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_SurfaceCall` Full Usage: `this.IsNONTERM_SurfaceCall` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_SurfaceCallList` Full Usage: `this.IsNONTERM_SurfaceCallList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_SurfaceCalls` Full Usage: `this.IsNONTERM_SurfaceCalls` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_SuspCond` Full Usage: `this.IsNONTERM_SuspCond` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_SuspName` Full Usage: `this.IsNONTERM_SuspName` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_SystemPart` Full Usage: `this.IsNONTERM_SystemPart` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_SystemPartList` Full Usage: `this.IsNONTERM_SystemPartList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_TermCond` Full Usage: `this.IsNONTERM_TermCond` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_TermName` Full Usage: `this.IsNONTERM_TermName` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_TransEq` Full Usage: `this.IsNONTERM_TransEq` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_TransEqList` Full Usage: `this.IsNONTERM_TransEqList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_TransEqs` Full Usage: `this.IsNONTERM_TransEqs` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_TransRel` Full Usage: `this.IsNONTERM_TransRel` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_Transfer` Full Usage: `this.IsNONTERM_Transfer` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_TransferList` Full Usage: `this.IsNONTERM_TransferList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_Transfers` Full Usage: `this.IsNONTERM_Transfers` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_TupCasesList` Full Usage: `this.IsNONTERM_TupCasesList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_TupExpr` Full Usage: `this.IsNONTERM_TupExpr` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_TupExprList` Full Usage: `this.IsNONTERM_TupExprList` Returns: `bool`	Returns: `bool`
`this.IsNONTERM_VerifTask` Full Usage: `this.IsNONTERM_VerifTask` Returns: `bool`	Returns: `bool`
`this.IsNONTERM__startAIFModule` Full Usage: `this.IsNONTERM__startAIFModule` Returns: `bool`	Returns: `bool`
`this.IsNONTERM__startAIFSystem` Full Usage: `this.IsNONTERM__startAIFSystem` Returns: `bool`	Returns: `bool`