token (Averest)

token Type

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

Union cases

Union case	Description
`ABORT` Full Usage: `ABORT`
`ABS` Full Usage: `ABS`
`ABSENT` Full Usage: `ABSENT`
`ABSTRACT` Full Usage: `ABSTRACT`
`ADD` Full Usage: `ADD`
`AND` Full Usage: `AND`
`ANY` Full Usage: `ANY`
`APPEND` Full Usage: `APPEND`
`ARR2BV` Full Usage: `ARR2BV`
`ASSERT` Full Usage: `ASSERT`
`ASSIGN` Full Usage: `ASSIGN`
`ASSUME` Full Usage: `ASSUME`
`ASYNCPARAND` Full Usage: `ASYNCPARAND`
`ASYNCPAROR` Full Usage: `ASYNCPAROR`
`AWAIT` Full Usage: `AWAIT`
`AX` Full Usage: `AX`
`AY` Full Usage: `AY`
`BDEL1` Full Usage: `BDEL1`
`BDEL2` Full Usage: `BDEL2`
`BOOL` Full Usage: `BOOL`
`BV` Full Usage: `BV`
`BV2INT` Full Usage: `BV2INT`
`BV2NAT` Full Usage: `BV2NAT`
`BVCONST string` Full Usage: `BVCONST string` Parameters: Item : `string`	Item : `string`
`CASE` Full Usage: `CASE`
`CHOOSE` Full Usage: `CHOOSE`
`COLON` Full Usage: `COLON`
`COMMA` Full Usage: `COMMA`
`CONSTRAINE` Full Usage: `CONSTRAINE`
`CONSTRAINM` Full Usage: `CONSTRAINM`
`CONSTRAINME` Full Usage: `CONSTRAINME`
`CONSTRAINS` Full Usage: `CONSTRAINS`
`CONSTRAINSE` Full Usage: `CONSTRAINSE`
`CONSTRAINSM` Full Usage: `CONSTRAINSM`
`CONSTRAINSME` Full Usage: `CONSTRAINSME`
`CONT` Full Usage: `CONT`
`COS` Full Usage: `COS`
`DDEL1` Full Usage: `DDEL1`
`DDEL2` Full Usage: `DDEL2`
`DEFAULT` Full Usage: `DEFAULT`
`DEL1` Full Usage: `DEL1`
`DEL2` Full Usage: `DEL2`
`DISPROVEA` Full Usage: `DISPROVEA`
`DISPROVEE` Full Usage: `DISPROVEE`
`DIV` Full Usage: `DIV`
`DO` Full Usage: `DO`
`DRIVENBY` Full Usage: `DRIVENBY`
`DRV` Full Usage: `DRV`
`DURING` Full Usage: `DURING`
`EACH` Full Usage: `EACH`
`ELSE` Full Usage: `ELSE`
`EMIT` Full Usage: `EMIT`
`EOF` Full Usage: `EOF`
`EQU` Full Usage: `EQU`
`EQV` Full Usage: `EQV`
`EVENT` Full Usage: `EVENT`
`EVERY` Full Usage: `EVERY`
`EX` Full Usage: `EX`
`EXISTS` Full Usage: `EXISTS`
`EXISTSPATH` Full Usage: `EXISTSPATH`
`EXP` Full Usage: `EXP`
`EY` Full Usage: `EY`
`FALSE` Full Usage: `FALSE`
`FALWAYS` Full Usage: `FALWAYS`
`FEVENTUAL` Full Usage: `FEVENTUAL`
`FINAL` Full Usage: `FINAL`
`FIXPOINTS` Full Usage: `FIXPOINTS`
`FLOW` Full Usage: `FLOW`
`FLOWS` Full Usage: `FLOWS`
`FNEXT` Full Usage: `FNEXT`
`FOR` Full Usage: `FOR`
`FORALL` Full Usage: `FORALL`
`FORALLPATH` Full Usage: `FORALLPATH`
`FSTRONGBEFORE` Full Usage: `FSTRONGBEFORE`
`FSTRONGUNTIL` Full Usage: `FSTRONGUNTIL`
`FSTRONGWHEN` Full Usage: `FSTRONGWHEN`
`FWEAKBEFORE` Full Usage: `FWEAKBEFORE`
`FWEAKUNTIL` Full Usage: `FWEAKUNTIL`
`FWEAKWHEN` Full Usage: `FWEAKWHEN`
`GEQ` Full Usage: `GEQ`
`GRT` Full Usage: `GRT`
`HALT` Full Usage: `HALT`
`HEXCONST string` Full Usage: `HEXCONST string` Parameters: Item : `string`	Item : `string`
`HYBRID` Full Usage: `HYBRID`
`ID string` Full Usage: `ID string` Parameters: Item : `string`	Item : `string`
`IF` Full Usage: `IF`
`IMMED` Full Usage: `IMMED`
`IMP` Full Usage: `IMP`
`IMPORT` Full Usage: `IMPORT`
`IN` Full Usage: `IN`
`INOUT` Full Usage: `INOUT`
`INPUT` Full Usage: `INPUT`
`INSIDE` Full Usage: `INSIDE`
`INSTANT` Full Usage: `INSTANT`
`INT` Full Usage: `INT`
`INT2BV` Full Usage: `INT2BV`
`INT2REAL` Full Usage: `INT2REAL`
`LEQ` Full Usage: `LEQ`
`LES` Full Usage: `LES`
`LET` Full Usage: `LET`
`LOG` Full Usage: `LOG`
`LOOP` Full Usage: `LOOP`
`LPALWAYS` Full Usage: `LPALWAYS`
`MACRO` Full Usage: `MACRO`
`MEMORIZED` Full Usage: `MEMORIZED`
`MOD` Full Usage: `MOD`
`MODULE` Full Usage: `MODULE`
`MU` Full Usage: `MU`
`MUL` Full Usage: `MUL`
`NAT` Full Usage: `NAT`
`NAT2BV` Full Usage: `NAT2BV`
`NAT2INT` Full Usage: `NAT2INT`
`NAT2REAL` Full Usage: `NAT2REAL`
`NATCONST string` Full Usage: `NATCONST string` Parameters: Item : `string`	Item : `string`
`NEQ` Full Usage: `NEQ`
`NEXT` Full Usage: `NEXT`
`NOT` Full Usage: `NOT`
`NOTHING` Full Usage: `NOTHING`
`NU` Full Usage: `NU`
`OBSERVER` Full Usage: `OBSERVER`
`OCTCONST string` Full Usage: `OCTCONST string` Parameters: Item : `string`	Item : `string`
`OR` Full Usage: `OR`
`OUTPUT` Full Usage: `OUTPUT`
`PACKAGE` Full Usage: `PACKAGE`
`PALWAYS` Full Usage: `PALWAYS`
`PAUSE` Full Usage: `PAUSE`
`PEVENTUAL` Full Usage: `PEVENTUAL`
`POINT` Full Usage: `POINT`
`PRESENT` Full Usage: `PRESENT`
`PROVEA` Full Usage: `PROVEA`
`PROVEE` Full Usage: `PROVEE`
`PSTRONGBEFORE` Full Usage: `PSTRONGBEFORE`
`PSTRONGNEXT` Full Usage: `PSTRONGNEXT`
`PSTRONGUNTIL` Full Usage: `PSTRONGUNTIL`
`PSTRONGWHEN` Full Usage: `PSTRONGWHEN`
`PWEAKBEFORE` Full Usage: `PWEAKBEFORE`
`PWEAKNEXT` Full Usage: `PWEAKNEXT`
`PWEAKUNTIL` Full Usage: `PWEAKUNTIL`
`PWEAKWHEN` Full Usage: `PWEAKWHEN`
`QUESTIONMARK` Full Usage: `QUESTIONMARK`
`REAL` Full Usage: `REAL`
`REALCONST string` Full Usage: `REALCONST string` Parameters: Item : `string`	Item : `string`
`REVERSE` Full Usage: `REVERSE`
`SAT` Full Usage: `SAT`
`SATISFIES` Full Usage: `SATISFIES`
`SEMICOLON` Full Usage: `SEMICOLON`
`SIN` Full Usage: `SIN`
`SIZEOF` Full Usage: `SIZEOF`
`SUB` Full Usage: `SUB`
`SUM` Full Usage: `SUM`
`SUSPEND` Full Usage: `SUSPEND`
`SYNCPARAND` Full Usage: `SYNCPARAND`
`SYNCPAROR` Full Usage: `SYNCPAROR`
`SYSTEM` Full Usage: `SYSTEM`
`TERMINATE` Full Usage: `TERMINATE`
`TIME` Full Usage: `TIME`
`TRUE` Full Usage: `TRUE`
`TUP2BV` Full Usage: `TUP2BV`
`TWOCOLON` Full Usage: `TWOCOLON`
`TWOPOINTS` Full Usage: `TWOPOINTS`
`UNDERSCORE` Full Usage: `UNDERSCORE`
`UNTIL` Full Usage: `UNTIL`
`WEAK` Full Usage: `WEAK`
`WHEN` Full Usage: `WHEN`
`WHILE` Full Usage: `WHILE`
`WITH` Full Usage: `WITH`
`XOR` Full Usage: `XOR`