tokenId (Averest)

tokenId Type

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

Union cases

Union case	Description
`TOKEN_ABORT` Full Usage: `TOKEN_ABORT`
`TOKEN_ABS` Full Usage: `TOKEN_ABS`
`TOKEN_ABSENT` Full Usage: `TOKEN_ABSENT`
`TOKEN_ABSTRACT` Full Usage: `TOKEN_ABSTRACT`
`TOKEN_ADD` Full Usage: `TOKEN_ADD`
`TOKEN_AND` Full Usage: `TOKEN_AND`
`TOKEN_ANY` Full Usage: `TOKEN_ANY`
`TOKEN_APPEND` Full Usage: `TOKEN_APPEND`
`TOKEN_ARR2BV` Full Usage: `TOKEN_ARR2BV`
`TOKEN_ASSERT` Full Usage: `TOKEN_ASSERT`
`TOKEN_ASSIGN` Full Usage: `TOKEN_ASSIGN`
`TOKEN_ASSUME` Full Usage: `TOKEN_ASSUME`
`TOKEN_ASYNCPARAND` Full Usage: `TOKEN_ASYNCPARAND`
`TOKEN_ASYNCPAROR` Full Usage: `TOKEN_ASYNCPAROR`
`TOKEN_AWAIT` Full Usage: `TOKEN_AWAIT`
`TOKEN_AX` Full Usage: `TOKEN_AX`
`TOKEN_AY` Full Usage: `TOKEN_AY`
`TOKEN_BDEL1` Full Usage: `TOKEN_BDEL1`
`TOKEN_BDEL2` Full Usage: `TOKEN_BDEL2`
`TOKEN_BOOL` Full Usage: `TOKEN_BOOL`
`TOKEN_BV` Full Usage: `TOKEN_BV`
`TOKEN_BV2INT` Full Usage: `TOKEN_BV2INT`
`TOKEN_BV2NAT` Full Usage: `TOKEN_BV2NAT`
`TOKEN_BVCONST` Full Usage: `TOKEN_BVCONST`
`TOKEN_CASE` Full Usage: `TOKEN_CASE`
`TOKEN_CHOOSE` Full Usage: `TOKEN_CHOOSE`
`TOKEN_COLON` Full Usage: `TOKEN_COLON`
`TOKEN_COMMA` Full Usage: `TOKEN_COMMA`
`TOKEN_CONSTRAINE` Full Usage: `TOKEN_CONSTRAINE`
`TOKEN_CONSTRAINM` Full Usage: `TOKEN_CONSTRAINM`
`TOKEN_CONSTRAINME` Full Usage: `TOKEN_CONSTRAINME`
`TOKEN_CONSTRAINS` Full Usage: `TOKEN_CONSTRAINS`
`TOKEN_CONSTRAINSE` Full Usage: `TOKEN_CONSTRAINSE`
`TOKEN_CONSTRAINSM` Full Usage: `TOKEN_CONSTRAINSM`
`TOKEN_CONSTRAINSME` Full Usage: `TOKEN_CONSTRAINSME`
`TOKEN_CONT` Full Usage: `TOKEN_CONT`
`TOKEN_COS` Full Usage: `TOKEN_COS`
`TOKEN_DDEL1` Full Usage: `TOKEN_DDEL1`
`TOKEN_DDEL2` Full Usage: `TOKEN_DDEL2`
`TOKEN_DEFAULT` Full Usage: `TOKEN_DEFAULT`
`TOKEN_DEL1` Full Usage: `TOKEN_DEL1`
`TOKEN_DEL2` Full Usage: `TOKEN_DEL2`
`TOKEN_DISPROVEA` Full Usage: `TOKEN_DISPROVEA`
`TOKEN_DISPROVEE` Full Usage: `TOKEN_DISPROVEE`
`TOKEN_DIV` Full Usage: `TOKEN_DIV`
`TOKEN_DO` Full Usage: `TOKEN_DO`
`TOKEN_DRIVENBY` Full Usage: `TOKEN_DRIVENBY`
`TOKEN_DRV` Full Usage: `TOKEN_DRV`
`TOKEN_DURING` Full Usage: `TOKEN_DURING`
`TOKEN_EACH` Full Usage: `TOKEN_EACH`
`TOKEN_ELSE` Full Usage: `TOKEN_ELSE`
`TOKEN_EMIT` Full Usage: `TOKEN_EMIT`
`TOKEN_EOF` Full Usage: `TOKEN_EOF`
`TOKEN_EQU` Full Usage: `TOKEN_EQU`
`TOKEN_EQV` Full Usage: `TOKEN_EQV`
`TOKEN_EVENT` Full Usage: `TOKEN_EVENT`
`TOKEN_EVERY` Full Usage: `TOKEN_EVERY`
`TOKEN_EX` Full Usage: `TOKEN_EX`
`TOKEN_EXISTS` Full Usage: `TOKEN_EXISTS`
`TOKEN_EXISTSPATH` Full Usage: `TOKEN_EXISTSPATH`
`TOKEN_EXP` Full Usage: `TOKEN_EXP`
`TOKEN_EY` Full Usage: `TOKEN_EY`
`TOKEN_FALSE` Full Usage: `TOKEN_FALSE`
`TOKEN_FALWAYS` Full Usage: `TOKEN_FALWAYS`
`TOKEN_FEVENTUAL` Full Usage: `TOKEN_FEVENTUAL`
`TOKEN_FINAL` Full Usage: `TOKEN_FINAL`
`TOKEN_FIXPOINTS` Full Usage: `TOKEN_FIXPOINTS`
`TOKEN_FLOW` Full Usage: `TOKEN_FLOW`
`TOKEN_FLOWS` Full Usage: `TOKEN_FLOWS`
`TOKEN_FNEXT` Full Usage: `TOKEN_FNEXT`
`TOKEN_FOR` Full Usage: `TOKEN_FOR`
`TOKEN_FORALL` Full Usage: `TOKEN_FORALL`
`TOKEN_FORALLPATH` Full Usage: `TOKEN_FORALLPATH`
`TOKEN_FSTRONGBEFORE` Full Usage: `TOKEN_FSTRONGBEFORE`
`TOKEN_FSTRONGUNTIL` Full Usage: `TOKEN_FSTRONGUNTIL`
`TOKEN_FSTRONGWHEN` Full Usage: `TOKEN_FSTRONGWHEN`
`TOKEN_FWEAKBEFORE` Full Usage: `TOKEN_FWEAKBEFORE`
`TOKEN_FWEAKUNTIL` Full Usage: `TOKEN_FWEAKUNTIL`
`TOKEN_FWEAKWHEN` Full Usage: `TOKEN_FWEAKWHEN`
`TOKEN_GEQ` Full Usage: `TOKEN_GEQ`
`TOKEN_GRT` Full Usage: `TOKEN_GRT`
`TOKEN_HALT` Full Usage: `TOKEN_HALT`
`TOKEN_HEXCONST` Full Usage: `TOKEN_HEXCONST`
`TOKEN_HYBRID` Full Usage: `TOKEN_HYBRID`
`TOKEN_ID` Full Usage: `TOKEN_ID`
`TOKEN_IF` Full Usage: `TOKEN_IF`
`TOKEN_IMMED` Full Usage: `TOKEN_IMMED`
`TOKEN_IMP` Full Usage: `TOKEN_IMP`
`TOKEN_IMPORT` Full Usage: `TOKEN_IMPORT`
`TOKEN_IN` Full Usage: `TOKEN_IN`
`TOKEN_INOUT` Full Usage: `TOKEN_INOUT`
`TOKEN_INPUT` Full Usage: `TOKEN_INPUT`
`TOKEN_INSIDE` Full Usage: `TOKEN_INSIDE`
`TOKEN_INSTANT` Full Usage: `TOKEN_INSTANT`
`TOKEN_INT` Full Usage: `TOKEN_INT`
`TOKEN_INT2BV` Full Usage: `TOKEN_INT2BV`
`TOKEN_INT2REAL` Full Usage: `TOKEN_INT2REAL`
`TOKEN_LEQ` Full Usage: `TOKEN_LEQ`
`TOKEN_LES` Full Usage: `TOKEN_LES`
`TOKEN_LET` Full Usage: `TOKEN_LET`
`TOKEN_LOG` Full Usage: `TOKEN_LOG`
`TOKEN_LOOP` Full Usage: `TOKEN_LOOP`
`TOKEN_LPALWAYS` Full Usage: `TOKEN_LPALWAYS`
`TOKEN_MACRO` Full Usage: `TOKEN_MACRO`
`TOKEN_MEMORIZED` Full Usage: `TOKEN_MEMORIZED`
`TOKEN_MOD` Full Usage: `TOKEN_MOD`
`TOKEN_MODULE` Full Usage: `TOKEN_MODULE`
`TOKEN_MU` Full Usage: `TOKEN_MU`
`TOKEN_MUL` Full Usage: `TOKEN_MUL`
`TOKEN_NAT` Full Usage: `TOKEN_NAT`
`TOKEN_NAT2BV` Full Usage: `TOKEN_NAT2BV`
`TOKEN_NAT2INT` Full Usage: `TOKEN_NAT2INT`
`TOKEN_NAT2REAL` Full Usage: `TOKEN_NAT2REAL`
`TOKEN_NATCONST` Full Usage: `TOKEN_NATCONST`
`TOKEN_NEQ` Full Usage: `TOKEN_NEQ`
`TOKEN_NEXT` Full Usage: `TOKEN_NEXT`
`TOKEN_NOT` Full Usage: `TOKEN_NOT`
`TOKEN_NOTHING` Full Usage: `TOKEN_NOTHING`
`TOKEN_NU` Full Usage: `TOKEN_NU`
`TOKEN_OBSERVER` Full Usage: `TOKEN_OBSERVER`
`TOKEN_OCTCONST` Full Usage: `TOKEN_OCTCONST`
`TOKEN_OR` Full Usage: `TOKEN_OR`
`TOKEN_OUTPUT` Full Usage: `TOKEN_OUTPUT`
`TOKEN_PACKAGE` Full Usage: `TOKEN_PACKAGE`
`TOKEN_PALWAYS` Full Usage: `TOKEN_PALWAYS`
`TOKEN_PAUSE` Full Usage: `TOKEN_PAUSE`
`TOKEN_PEVENTUAL` Full Usage: `TOKEN_PEVENTUAL`
`TOKEN_POINT` Full Usage: `TOKEN_POINT`
`TOKEN_PRESENT` Full Usage: `TOKEN_PRESENT`
`TOKEN_PROVEA` Full Usage: `TOKEN_PROVEA`
`TOKEN_PROVEE` Full Usage: `TOKEN_PROVEE`
`TOKEN_PSTRONGBEFORE` Full Usage: `TOKEN_PSTRONGBEFORE`
`TOKEN_PSTRONGNEXT` Full Usage: `TOKEN_PSTRONGNEXT`
`TOKEN_PSTRONGUNTIL` Full Usage: `TOKEN_PSTRONGUNTIL`
`TOKEN_PSTRONGWHEN` Full Usage: `TOKEN_PSTRONGWHEN`
`TOKEN_PWEAKBEFORE` Full Usage: `TOKEN_PWEAKBEFORE`
`TOKEN_PWEAKNEXT` Full Usage: `TOKEN_PWEAKNEXT`
`TOKEN_PWEAKUNTIL` Full Usage: `TOKEN_PWEAKUNTIL`
`TOKEN_PWEAKWHEN` Full Usage: `TOKEN_PWEAKWHEN`
`TOKEN_QUESTIONMARK` Full Usage: `TOKEN_QUESTIONMARK`
`TOKEN_REAL` Full Usage: `TOKEN_REAL`
`TOKEN_REALCONST` Full Usage: `TOKEN_REALCONST`
`TOKEN_REVERSE` Full Usage: `TOKEN_REVERSE`
`TOKEN_SAT` Full Usage: `TOKEN_SAT`
`TOKEN_SATISFIES` Full Usage: `TOKEN_SATISFIES`
`TOKEN_SEMICOLON` Full Usage: `TOKEN_SEMICOLON`
`TOKEN_SIN` Full Usage: `TOKEN_SIN`
`TOKEN_SIZEOF` Full Usage: `TOKEN_SIZEOF`
`TOKEN_SUB` Full Usage: `TOKEN_SUB`
`TOKEN_SUM` Full Usage: `TOKEN_SUM`
`TOKEN_SUSPEND` Full Usage: `TOKEN_SUSPEND`
`TOKEN_SYNCPARAND` Full Usage: `TOKEN_SYNCPARAND`
`TOKEN_SYNCPAROR` Full Usage: `TOKEN_SYNCPAROR`
`TOKEN_SYSTEM` Full Usage: `TOKEN_SYSTEM`
`TOKEN_TERMINATE` Full Usage: `TOKEN_TERMINATE`
`TOKEN_TIME` Full Usage: `TOKEN_TIME`
`TOKEN_TRUE` Full Usage: `TOKEN_TRUE`
`TOKEN_TUP2BV` Full Usage: `TOKEN_TUP2BV`
`TOKEN_TWOCOLON` Full Usage: `TOKEN_TWOCOLON`
`TOKEN_TWOPOINTS` Full Usage: `TOKEN_TWOPOINTS`
`TOKEN_UNDERSCORE` Full Usage: `TOKEN_UNDERSCORE`
`TOKEN_UNTIL` Full Usage: `TOKEN_UNTIL`
`TOKEN_WEAK` Full Usage: `TOKEN_WEAK`
`TOKEN_WHEN` Full Usage: `TOKEN_WHEN`
`TOKEN_WHILE` Full Usage: `TOKEN_WHILE`
`TOKEN_WITH` Full Usage: `TOKEN_WITH`
`TOKEN_XOR` Full Usage: `TOKEN_XOR`
`TOKEN_end_of_input` Full Usage: `TOKEN_end_of_input`
`TOKEN_error` Full Usage: `TOKEN_error`

Instance members

Instance member	Description
`this.IsTOKEN_ABORT` Full Usage: `this.IsTOKEN_ABORT` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_ABS` Full Usage: `this.IsTOKEN_ABS` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_ABSENT` Full Usage: `this.IsTOKEN_ABSENT` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_ABSTRACT` Full Usage: `this.IsTOKEN_ABSTRACT` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_ADD` Full Usage: `this.IsTOKEN_ADD` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_AND` Full Usage: `this.IsTOKEN_AND` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_ANY` Full Usage: `this.IsTOKEN_ANY` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_APPEND` Full Usage: `this.IsTOKEN_APPEND` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_ARR2BV` Full Usage: `this.IsTOKEN_ARR2BV` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_ASSERT` Full Usage: `this.IsTOKEN_ASSERT` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_ASSIGN` Full Usage: `this.IsTOKEN_ASSIGN` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_ASSUME` Full Usage: `this.IsTOKEN_ASSUME` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_ASYNCPARAND` Full Usage: `this.IsTOKEN_ASYNCPARAND` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_ASYNCPAROR` Full Usage: `this.IsTOKEN_ASYNCPAROR` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_AWAIT` Full Usage: `this.IsTOKEN_AWAIT` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_AX` Full Usage: `this.IsTOKEN_AX` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_AY` Full Usage: `this.IsTOKEN_AY` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_BDEL1` Full Usage: `this.IsTOKEN_BDEL1` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_BDEL2` Full Usage: `this.IsTOKEN_BDEL2` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_BOOL` Full Usage: `this.IsTOKEN_BOOL` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_BV` Full Usage: `this.IsTOKEN_BV` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_BV2INT` Full Usage: `this.IsTOKEN_BV2INT` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_BV2NAT` Full Usage: `this.IsTOKEN_BV2NAT` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_BVCONST` Full Usage: `this.IsTOKEN_BVCONST` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_CASE` Full Usage: `this.IsTOKEN_CASE` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_CHOOSE` Full Usage: `this.IsTOKEN_CHOOSE` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_COLON` Full Usage: `this.IsTOKEN_COLON` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_COMMA` Full Usage: `this.IsTOKEN_COMMA` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_CONSTRAINE` Full Usage: `this.IsTOKEN_CONSTRAINE` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_CONSTRAINM` Full Usage: `this.IsTOKEN_CONSTRAINM` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_CONSTRAINME` Full Usage: `this.IsTOKEN_CONSTRAINME` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_CONSTRAINS` Full Usage: `this.IsTOKEN_CONSTRAINS` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_CONSTRAINSE` Full Usage: `this.IsTOKEN_CONSTRAINSE` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_CONSTRAINSM` Full Usage: `this.IsTOKEN_CONSTRAINSM` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_CONSTRAINSME` Full Usage: `this.IsTOKEN_CONSTRAINSME` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_CONT` Full Usage: `this.IsTOKEN_CONT` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_COS` Full Usage: `this.IsTOKEN_COS` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_DDEL1` Full Usage: `this.IsTOKEN_DDEL1` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_DDEL2` Full Usage: `this.IsTOKEN_DDEL2` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_DEFAULT` Full Usage: `this.IsTOKEN_DEFAULT` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_DEL1` Full Usage: `this.IsTOKEN_DEL1` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_DEL2` Full Usage: `this.IsTOKEN_DEL2` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_DISPROVEA` Full Usage: `this.IsTOKEN_DISPROVEA` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_DISPROVEE` Full Usage: `this.IsTOKEN_DISPROVEE` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_DIV` Full Usage: `this.IsTOKEN_DIV` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_DO` Full Usage: `this.IsTOKEN_DO` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_DRIVENBY` Full Usage: `this.IsTOKEN_DRIVENBY` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_DRV` Full Usage: `this.IsTOKEN_DRV` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_DURING` Full Usage: `this.IsTOKEN_DURING` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_EACH` Full Usage: `this.IsTOKEN_EACH` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_ELSE` Full Usage: `this.IsTOKEN_ELSE` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_EMIT` Full Usage: `this.IsTOKEN_EMIT` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_EOF` Full Usage: `this.IsTOKEN_EOF` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_EQU` Full Usage: `this.IsTOKEN_EQU` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_EQV` Full Usage: `this.IsTOKEN_EQV` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_EVENT` Full Usage: `this.IsTOKEN_EVENT` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_EVERY` Full Usage: `this.IsTOKEN_EVERY` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_EX` Full Usage: `this.IsTOKEN_EX` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_EXISTS` Full Usage: `this.IsTOKEN_EXISTS` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_EXISTSPATH` Full Usage: `this.IsTOKEN_EXISTSPATH` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_EXP` Full Usage: `this.IsTOKEN_EXP` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_EY` Full Usage: `this.IsTOKEN_EY` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_FALSE` Full Usage: `this.IsTOKEN_FALSE` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_FALWAYS` Full Usage: `this.IsTOKEN_FALWAYS` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_FEVENTUAL` Full Usage: `this.IsTOKEN_FEVENTUAL` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_FINAL` Full Usage: `this.IsTOKEN_FINAL` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_FIXPOINTS` Full Usage: `this.IsTOKEN_FIXPOINTS` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_FLOW` Full Usage: `this.IsTOKEN_FLOW` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_FLOWS` Full Usage: `this.IsTOKEN_FLOWS` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_FNEXT` Full Usage: `this.IsTOKEN_FNEXT` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_FOR` Full Usage: `this.IsTOKEN_FOR` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_FORALL` Full Usage: `this.IsTOKEN_FORALL` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_FORALLPATH` Full Usage: `this.IsTOKEN_FORALLPATH` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_FSTRONGBEFORE` Full Usage: `this.IsTOKEN_FSTRONGBEFORE` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_FSTRONGUNTIL` Full Usage: `this.IsTOKEN_FSTRONGUNTIL` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_FSTRONGWHEN` Full Usage: `this.IsTOKEN_FSTRONGWHEN` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_FWEAKBEFORE` Full Usage: `this.IsTOKEN_FWEAKBEFORE` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_FWEAKUNTIL` Full Usage: `this.IsTOKEN_FWEAKUNTIL` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_FWEAKWHEN` Full Usage: `this.IsTOKEN_FWEAKWHEN` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_GEQ` Full Usage: `this.IsTOKEN_GEQ` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_GRT` Full Usage: `this.IsTOKEN_GRT` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_HALT` Full Usage: `this.IsTOKEN_HALT` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_HEXCONST` Full Usage: `this.IsTOKEN_HEXCONST` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_HYBRID` Full Usage: `this.IsTOKEN_HYBRID` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_ID` Full Usage: `this.IsTOKEN_ID` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_IF` Full Usage: `this.IsTOKEN_IF` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_IMMED` Full Usage: `this.IsTOKEN_IMMED` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_IMP` Full Usage: `this.IsTOKEN_IMP` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_IMPORT` Full Usage: `this.IsTOKEN_IMPORT` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_IN` Full Usage: `this.IsTOKEN_IN` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_INOUT` Full Usage: `this.IsTOKEN_INOUT` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_INPUT` Full Usage: `this.IsTOKEN_INPUT` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_INSIDE` Full Usage: `this.IsTOKEN_INSIDE` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_INSTANT` Full Usage: `this.IsTOKEN_INSTANT` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_INT` Full Usage: `this.IsTOKEN_INT` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_INT2BV` Full Usage: `this.IsTOKEN_INT2BV` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_INT2REAL` Full Usage: `this.IsTOKEN_INT2REAL` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_LEQ` Full Usage: `this.IsTOKEN_LEQ` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_LES` Full Usage: `this.IsTOKEN_LES` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_LET` Full Usage: `this.IsTOKEN_LET` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_LOG` Full Usage: `this.IsTOKEN_LOG` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_LOOP` Full Usage: `this.IsTOKEN_LOOP` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_LPALWAYS` Full Usage: `this.IsTOKEN_LPALWAYS` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_MACRO` Full Usage: `this.IsTOKEN_MACRO` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_MEMORIZED` Full Usage: `this.IsTOKEN_MEMORIZED` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_MOD` Full Usage: `this.IsTOKEN_MOD` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_MODULE` Full Usage: `this.IsTOKEN_MODULE` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_MU` Full Usage: `this.IsTOKEN_MU` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_MUL` Full Usage: `this.IsTOKEN_MUL` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_NAT` Full Usage: `this.IsTOKEN_NAT` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_NAT2BV` Full Usage: `this.IsTOKEN_NAT2BV` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_NAT2INT` Full Usage: `this.IsTOKEN_NAT2INT` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_NAT2REAL` Full Usage: `this.IsTOKEN_NAT2REAL` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_NATCONST` Full Usage: `this.IsTOKEN_NATCONST` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_NEQ` Full Usage: `this.IsTOKEN_NEQ` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_NEXT` Full Usage: `this.IsTOKEN_NEXT` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_NOT` Full Usage: `this.IsTOKEN_NOT` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_NOTHING` Full Usage: `this.IsTOKEN_NOTHING` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_NU` Full Usage: `this.IsTOKEN_NU` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_OBSERVER` Full Usage: `this.IsTOKEN_OBSERVER` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_OCTCONST` Full Usage: `this.IsTOKEN_OCTCONST` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_OR` Full Usage: `this.IsTOKEN_OR` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_OUTPUT` Full Usage: `this.IsTOKEN_OUTPUT` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_PACKAGE` Full Usage: `this.IsTOKEN_PACKAGE` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_PALWAYS` Full Usage: `this.IsTOKEN_PALWAYS` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_PAUSE` Full Usage: `this.IsTOKEN_PAUSE` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_PEVENTUAL` Full Usage: `this.IsTOKEN_PEVENTUAL` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_POINT` Full Usage: `this.IsTOKEN_POINT` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_PRESENT` Full Usage: `this.IsTOKEN_PRESENT` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_PROVEA` Full Usage: `this.IsTOKEN_PROVEA` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_PROVEE` Full Usage: `this.IsTOKEN_PROVEE` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_PSTRONGBEFORE` Full Usage: `this.IsTOKEN_PSTRONGBEFORE` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_PSTRONGNEXT` Full Usage: `this.IsTOKEN_PSTRONGNEXT` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_PSTRONGUNTIL` Full Usage: `this.IsTOKEN_PSTRONGUNTIL` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_PSTRONGWHEN` Full Usage: `this.IsTOKEN_PSTRONGWHEN` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_PWEAKBEFORE` Full Usage: `this.IsTOKEN_PWEAKBEFORE` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_PWEAKNEXT` Full Usage: `this.IsTOKEN_PWEAKNEXT` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_PWEAKUNTIL` Full Usage: `this.IsTOKEN_PWEAKUNTIL` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_PWEAKWHEN` Full Usage: `this.IsTOKEN_PWEAKWHEN` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_QUESTIONMARK` Full Usage: `this.IsTOKEN_QUESTIONMARK` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_REAL` Full Usage: `this.IsTOKEN_REAL` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_REALCONST` Full Usage: `this.IsTOKEN_REALCONST` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_REVERSE` Full Usage: `this.IsTOKEN_REVERSE` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_SAT` Full Usage: `this.IsTOKEN_SAT` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_SATISFIES` Full Usage: `this.IsTOKEN_SATISFIES` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_SEMICOLON` Full Usage: `this.IsTOKEN_SEMICOLON` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_SIN` Full Usage: `this.IsTOKEN_SIN` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_SIZEOF` Full Usage: `this.IsTOKEN_SIZEOF` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_SUB` Full Usage: `this.IsTOKEN_SUB` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_SUM` Full Usage: `this.IsTOKEN_SUM` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_SUSPEND` Full Usage: `this.IsTOKEN_SUSPEND` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_SYNCPARAND` Full Usage: `this.IsTOKEN_SYNCPARAND` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_SYNCPAROR` Full Usage: `this.IsTOKEN_SYNCPAROR` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_SYSTEM` Full Usage: `this.IsTOKEN_SYSTEM` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_TERMINATE` Full Usage: `this.IsTOKEN_TERMINATE` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_TIME` Full Usage: `this.IsTOKEN_TIME` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_TRUE` Full Usage: `this.IsTOKEN_TRUE` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_TUP2BV` Full Usage: `this.IsTOKEN_TUP2BV` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_TWOCOLON` Full Usage: `this.IsTOKEN_TWOCOLON` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_TWOPOINTS` Full Usage: `this.IsTOKEN_TWOPOINTS` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_UNDERSCORE` Full Usage: `this.IsTOKEN_UNDERSCORE` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_UNTIL` Full Usage: `this.IsTOKEN_UNTIL` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_WEAK` Full Usage: `this.IsTOKEN_WEAK` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_WHEN` Full Usage: `this.IsTOKEN_WHEN` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_WHILE` Full Usage: `this.IsTOKEN_WHILE` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_WITH` Full Usage: `this.IsTOKEN_WITH` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_XOR` Full Usage: `this.IsTOKEN_XOR` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_end_of_input` Full Usage: `this.IsTOKEN_end_of_input` Returns: `bool`	Returns: `bool`
`this.IsTOKEN_error` Full Usage: `this.IsTOKEN_error` Returns: `bool`	Returns: `bool`