token Type
Union cases
Union case | Description |
Full Usage:
ABORT
|
|
Full Usage:
ABS
|
|
Full Usage:
ABSENT
|
|
Full Usage:
ABSTRACT
|
|
Full Usage:
ADD
|
|
Full Usage:
AND
|
|
Full Usage:
ANY
|
|
Full Usage:
APPEND
|
|
Full Usage:
ARR2BV
|
|
Full Usage:
ASSERT
|
|
Full Usage:
ASSIGN
|
|
Full Usage:
ASSUME
|
|
Full Usage:
ASYNCPARAND
|
|
Full Usage:
ASYNCPAROR
|
|
Full Usage:
AWAIT
|
|
Full Usage:
AX
|
|
Full Usage:
AY
|
|
Full Usage:
BDEL1
|
|
Full Usage:
BDEL2
|
|
Full Usage:
BOOL
|
|
Full Usage:
BV
|
|
Full Usage:
BV2INT
|
|
Full Usage:
BV2NAT
|
|
Full Usage:
BVCONST string
Parameters:
string
|
|
Full Usage:
CASE
|
|
Full Usage:
CHOOSE
|
|
Full Usage:
COLON
|
|
Full Usage:
COMMA
|
|
Full Usage:
CONSTRAINE
|
|
Full Usage:
CONSTRAINM
|
|
Full Usage:
CONSTRAINME
|
|
Full Usage:
CONSTRAINS
|
|
Full Usage:
CONSTRAINSE
|
|
Full Usage:
CONSTRAINSM
|
|
Full Usage:
CONSTRAINSME
|
|
Full Usage:
CONT
|
|
Full Usage:
COS
|
|
Full Usage:
DDEL1
|
|
Full Usage:
DDEL2
|
|
Full Usage:
DEFAULT
|
|
Full Usage:
DEL1
|
|
Full Usage:
DEL2
|
|
Full Usage:
DISPROVEA
|
|
Full Usage:
DISPROVEE
|
|
Full Usage:
DIV
|
|
Full Usage:
DO
|
|
Full Usage:
DRIVENBY
|
|
Full Usage:
DRV
|
|
Full Usage:
DURING
|
|
Full Usage:
EACH
|
|
Full Usage:
ELSE
|
|
Full Usage:
EMIT
|
|
Full Usage:
EOF
|
|
Full Usage:
EQU
|
|
Full Usage:
EQV
|
|
Full Usage:
EVENT
|
|
Full Usage:
EVERY
|
|
Full Usage:
EX
|
|
Full Usage:
EXISTS
|
|
Full Usage:
EXISTSPATH
|
|
Full Usage:
EXP
|
|
Full Usage:
EY
|
|
Full Usage:
FALSE
|
|
Full Usage:
FALWAYS
|
|
Full Usage:
FEVENTUAL
|
|
Full Usage:
FINAL
|
|
Full Usage:
FIXPOINTS
|
|
Full Usage:
FLOW
|
|
Full Usage:
FLOWS
|
|
Full Usage:
FNEXT
|
|
Full Usage:
FOR
|
|
Full Usage:
FORALL
|
|
Full Usage:
FORALLPATH
|
|
Full Usage:
FSTRONGBEFORE
|
|
Full Usage:
FSTRONGUNTIL
|
|
Full Usage:
FSTRONGWHEN
|
|
Full Usage:
FWEAKBEFORE
|
|
Full Usage:
FWEAKUNTIL
|
|
Full Usage:
FWEAKWHEN
|
|
Full Usage:
GEQ
|
|
Full Usage:
GRT
|
|
Full Usage:
HALT
|
|
Full Usage:
HEXCONST string
Parameters:
string
|
|
Full Usage:
HYBRID
|
|
Full Usage:
ID string
Parameters:
string
|
|
Full Usage:
IF
|
|
Full Usage:
IMMED
|
|
Full Usage:
IMP
|
|
Full Usage:
IMPORT
|
|
Full Usage:
IN
|
|
Full Usage:
INOUT
|
|
Full Usage:
INPUT
|
|
Full Usage:
INSIDE
|
|
Full Usage:
INSTANT
|
|
Full Usage:
INT
|
|
Full Usage:
INT2BV
|
|
Full Usage:
INT2REAL
|
|
Full Usage:
LEQ
|
|
Full Usage:
LES
|
|
Full Usage:
LET
|
|
Full Usage:
LOG
|
|
Full Usage:
LOOP
|
|
Full Usage:
LPALWAYS
|
|
Full Usage:
MACRO
|
|
Full Usage:
MEMORIZED
|
|
Full Usage:
MOD
|
|
Full Usage:
MODULE
|
|
Full Usage:
MU
|
|
Full Usage:
MUL
|
|
Full Usage:
NAT
|
|
Full Usage:
NAT2BV
|
|
Full Usage:
NAT2INT
|
|
Full Usage:
NAT2REAL
|
|
Full Usage:
NATCONST string
Parameters:
string
|
|
Full Usage:
NEQ
|
|
Full Usage:
NEXT
|
|
Full Usage:
NOT
|
|
Full Usage:
NOTHING
|
|
Full Usage:
NU
|
|
Full Usage:
OBSERVER
|
|
Full Usage:
OCTCONST string
Parameters:
string
|
|
Full Usage:
OR
|
|
Full Usage:
OUTPUT
|
|
Full Usage:
PACKAGE
|
|
Full Usage:
PALWAYS
|
|
Full Usage:
PAUSE
|
|
Full Usage:
PEVENTUAL
|
|
Full Usage:
POINT
|
|
Full Usage:
PRESENT
|
|
Full Usage:
PROVEA
|
|
Full Usage:
PROVEE
|
|
Full Usage:
PSTRONGBEFORE
|
|
Full Usage:
PSTRONGNEXT
|
|
Full Usage:
PSTRONGUNTIL
|
|
Full Usage:
PSTRONGWHEN
|
|
Full Usage:
PWEAKBEFORE
|
|
Full Usage:
PWEAKNEXT
|
|
Full Usage:
PWEAKUNTIL
|
|
Full Usage:
PWEAKWHEN
|
|
Full Usage:
QUESTIONMARK
|
|
Full Usage:
REAL
|
|
Full Usage:
REALCONST string
Parameters:
string
|
|
Full Usage:
REVERSE
|
|
Full Usage:
SAT
|
|
Full Usage:
SATISFIES
|
|
Full Usage:
SEMICOLON
|
|
Full Usage:
SIN
|
|
Full Usage:
SIZEOF
|
|
Full Usage:
SUB
|
|
Full Usage:
SUM
|
|
Full Usage:
SUSPEND
|
|
Full Usage:
SYNCPARAND
|
|
Full Usage:
SYNCPAROR
|
|
Full Usage:
SYSTEM
|
|
Full Usage:
TERMINATE
|
|
Full Usage:
TIME
|
|
Full Usage:
TRUE
|
|
Full Usage:
TUP2BV
|
|
Full Usage:
TWOCOLON
|
|
Full Usage:
TWOPOINTS
|
|
Full Usage:
UNDERSCORE
|
|
Full Usage:
UNTIL
|
|
Full Usage:
WEAK
|
|
Full Usage:
WHEN
|
|
Full Usage:
WHILE
|
|
Full Usage:
WITH
|
|
Full Usage:
XOR
|
|
Instance members
Instance member | Description |
Full Usage:
this.IsABORT
Returns: bool
|
|
Full Usage:
this.IsABS
Returns: bool
|
|
Full Usage:
this.IsABSENT
Returns: bool
|
|
Full Usage:
this.IsABSTRACT
Returns: bool
|
|
Full Usage:
this.IsADD
Returns: bool
|
|
Full Usage:
this.IsAND
Returns: bool
|
|
Full Usage:
this.IsANY
Returns: bool
|
|
Full Usage:
this.IsAPPEND
Returns: bool
|
|
Full Usage:
this.IsARR2BV
Returns: bool
|
|
Full Usage:
this.IsASSERT
Returns: bool
|
|
Full Usage:
this.IsASSIGN
Returns: bool
|
|
Full Usage:
this.IsASSUME
Returns: bool
|
|
Full Usage:
this.IsASYNCPARAND
Returns: bool
|
|
Full Usage:
this.IsASYNCPAROR
Returns: bool
|
|
Full Usage:
this.IsAWAIT
Returns: bool
|
|
Full Usage:
this.IsAX
Returns: bool
|
|
Full Usage:
this.IsAY
Returns: bool
|
|
Full Usage:
this.IsBDEL1
Returns: bool
|
|
Full Usage:
this.IsBDEL2
Returns: bool
|
|
Full Usage:
this.IsBOOL
Returns: bool
|
|
Full Usage:
this.IsBV
Returns: bool
|
|
Full Usage:
this.IsBV2INT
Returns: bool
|
|
Full Usage:
this.IsBV2NAT
Returns: bool
|
|
Full Usage:
this.IsBVCONST
Returns: bool
|
|
Full Usage:
this.IsCASE
Returns: bool
|
|
Full Usage:
this.IsCHOOSE
Returns: bool
|
|
Full Usage:
this.IsCOLON
Returns: bool
|
|
Full Usage:
this.IsCOMMA
Returns: bool
|
|
Full Usage:
this.IsCONSTRAINE
Returns: bool
|
|
Full Usage:
this.IsCONSTRAINM
Returns: bool
|
|
Full Usage:
this.IsCONSTRAINME
Returns: bool
|
|
Full Usage:
this.IsCONSTRAINS
Returns: bool
|
|
Full Usage:
this.IsCONSTRAINSE
Returns: bool
|
|
Full Usage:
this.IsCONSTRAINSM
Returns: bool
|
|
Full Usage:
this.IsCONSTRAINSME
Returns: bool
|
|
Full Usage:
this.IsCONT
Returns: bool
|
|
Full Usage:
this.IsCOS
Returns: bool
|
|
Full Usage:
this.IsDDEL1
Returns: bool
|
|
Full Usage:
this.IsDDEL2
Returns: bool
|
|
Full Usage:
this.IsDEFAULT
Returns: bool
|
|
Full Usage:
this.IsDEL1
Returns: bool
|
|
Full Usage:
this.IsDEL2
Returns: bool
|
|
Full Usage:
this.IsDISPROVEA
Returns: bool
|
|
Full Usage:
this.IsDISPROVEE
Returns: bool
|
|
Full Usage:
this.IsDIV
Returns: bool
|
|
Full Usage:
this.IsDO
Returns: bool
|
|
Full Usage:
this.IsDRIVENBY
Returns: bool
|
|
Full Usage:
this.IsDRV
Returns: bool
|
|
Full Usage:
this.IsDURING
Returns: bool
|
|
Full Usage:
this.IsEACH
Returns: bool
|
|
Full Usage:
this.IsELSE
Returns: bool
|
|
Full Usage:
this.IsEMIT
Returns: bool
|
|
Full Usage:
this.IsEOF
Returns: bool
|
|
Full Usage:
this.IsEQU
Returns: bool
|
|
Full Usage:
this.IsEQV
Returns: bool
|
|
Full Usage:
this.IsEVENT
Returns: bool
|
|
Full Usage:
this.IsEVERY
Returns: bool
|
|
Full Usage:
this.IsEX
Returns: bool
|
|
Full Usage:
this.IsEXISTS
Returns: bool
|
|
Full Usage:
this.IsEXISTSPATH
Returns: bool
|
|
Full Usage:
this.IsEXP
Returns: bool
|
|
Full Usage:
this.IsEY
Returns: bool
|
|
Full Usage:
this.IsFALSE
Returns: bool
|
|
Full Usage:
this.IsFALWAYS
Returns: bool
|
|
Full Usage:
this.IsFEVENTUAL
Returns: bool
|
|
Full Usage:
this.IsFINAL
Returns: bool
|
|
Full Usage:
this.IsFIXPOINTS
Returns: bool
|
|
Full Usage:
this.IsFLOW
Returns: bool
|
|
Full Usage:
this.IsFLOWS
Returns: bool
|
|
Full Usage:
this.IsFNEXT
Returns: bool
|
|
Full Usage:
this.IsFOR
Returns: bool
|
|
Full Usage:
this.IsFORALL
Returns: bool
|
|
Full Usage:
this.IsFORALLPATH
Returns: bool
|
|
Full Usage:
this.IsFSTRONGBEFORE
Returns: bool
|
|
Full Usage:
this.IsFSTRONGUNTIL
Returns: bool
|
|
Full Usage:
this.IsFSTRONGWHEN
Returns: bool
|
|
Full Usage:
this.IsFWEAKBEFORE
Returns: bool
|
|
Full Usage:
this.IsFWEAKUNTIL
Returns: bool
|
|
Full Usage:
this.IsFWEAKWHEN
Returns: bool
|
|
Full Usage:
this.IsGEQ
Returns: bool
|
|
Full Usage:
this.IsGRT
Returns: bool
|
|
Full Usage:
this.IsHALT
Returns: bool
|
|
Full Usage:
this.IsHEXCONST
Returns: bool
|
|
Full Usage:
this.IsHYBRID
Returns: bool
|
|
Full Usage:
this.IsID
Returns: bool
|
|
Full Usage:
this.IsIF
Returns: bool
|
|
Full Usage:
this.IsIMMED
Returns: bool
|
|
Full Usage:
this.IsIMP
Returns: bool
|
|
Full Usage:
this.IsIMPORT
Returns: bool
|
|
Full Usage:
this.IsIN
Returns: bool
|
|
Full Usage:
this.IsINOUT
Returns: bool
|
|
Full Usage:
this.IsINPUT
Returns: bool
|
|
Full Usage:
this.IsINSIDE
Returns: bool
|
|
Full Usage:
this.IsINSTANT
Returns: bool
|
|
Full Usage:
this.IsINT
Returns: bool
|
|
Full Usage:
this.IsINT2BV
Returns: bool
|
|
Full Usage:
this.IsINT2REAL
Returns: bool
|
|
Full Usage:
this.IsLEQ
Returns: bool
|
|
Full Usage:
this.IsLES
Returns: bool
|
|
Full Usage:
this.IsLET
Returns: bool
|
|
Full Usage:
this.IsLOG
Returns: bool
|
|
Full Usage:
this.IsLOOP
Returns: bool
|
|
Full Usage:
this.IsLPALWAYS
Returns: bool
|
|
Full Usage:
this.IsMACRO
Returns: bool
|
|
Full Usage:
this.IsMEMORIZED
Returns: bool
|
|
Full Usage:
this.IsMOD
Returns: bool
|
|
Full Usage:
this.IsMODULE
Returns: bool
|
|
Full Usage:
this.IsMU
Returns: bool
|
|
Full Usage:
this.IsMUL
Returns: bool
|
|
Full Usage:
this.IsNAT
Returns: bool
|
|
Full Usage:
this.IsNAT2BV
Returns: bool
|
|
Full Usage:
this.IsNAT2INT
Returns: bool
|
|
Full Usage:
this.IsNAT2REAL
Returns: bool
|
|
Full Usage:
this.IsNATCONST
Returns: bool
|
|
Full Usage:
this.IsNEQ
Returns: bool
|
|
Full Usage:
this.IsNEXT
Returns: bool
|
|
Full Usage:
this.IsNOT
Returns: bool
|
|
Full Usage:
this.IsNOTHING
Returns: bool
|
|
Full Usage:
this.IsNU
Returns: bool
|
|
Full Usage:
this.IsOBSERVER
Returns: bool
|
|
Full Usage:
this.IsOCTCONST
Returns: bool
|
|
Full Usage:
this.IsOR
Returns: bool
|
|
Full Usage:
this.IsOUTPUT
Returns: bool
|
|
Full Usage:
this.IsPACKAGE
Returns: bool
|
|
Full Usage:
this.IsPALWAYS
Returns: bool
|
|
Full Usage:
this.IsPAUSE
Returns: bool
|
|
Full Usage:
this.IsPEVENTUAL
Returns: bool
|
|
Full Usage:
this.IsPOINT
Returns: bool
|
|
Full Usage:
this.IsPRESENT
Returns: bool
|
|
Full Usage:
this.IsPROVEA
Returns: bool
|
|
Full Usage:
this.IsPROVEE
Returns: bool
|
|
Full Usage:
this.IsPSTRONGBEFORE
Returns: bool
|
|
Full Usage:
this.IsPSTRONGNEXT
Returns: bool
|
|
Full Usage:
this.IsPSTRONGUNTIL
Returns: bool
|
|
Full Usage:
this.IsPSTRONGWHEN
Returns: bool
|
|
Full Usage:
this.IsPWEAKBEFORE
Returns: bool
|
|
Full Usage:
this.IsPWEAKNEXT
Returns: bool
|
|
Full Usage:
this.IsPWEAKUNTIL
Returns: bool
|
|
Full Usage:
this.IsPWEAKWHEN
Returns: bool
|
|
Full Usage:
this.IsQUESTIONMARK
Returns: bool
|
|
Full Usage:
this.IsREAL
Returns: bool
|
|
Full Usage:
this.IsREALCONST
Returns: bool
|
|
Full Usage:
this.IsREVERSE
Returns: bool
|
|
Full Usage:
this.IsSAT
Returns: bool
|
|
Full Usage:
this.IsSATISFIES
Returns: bool
|
|
Full Usage:
this.IsSEMICOLON
Returns: bool
|
|
Full Usage:
this.IsSIN
Returns: bool
|
|
Full Usage:
this.IsSIZEOF
Returns: bool
|
|
Full Usage:
this.IsSUB
Returns: bool
|
|
Full Usage:
this.IsSUM
Returns: bool
|
|
Full Usage:
this.IsSUSPEND
Returns: bool
|
|
Full Usage:
this.IsSYNCPARAND
Returns: bool
|
|
Full Usage:
this.IsSYNCPAROR
Returns: bool
|
|
Full Usage:
this.IsSYSTEM
Returns: bool
|
|
Full Usage:
this.IsTERMINATE
Returns: bool
|
|
Full Usage:
this.IsTIME
Returns: bool
|
|
Full Usage:
this.IsTRUE
Returns: bool
|
|
Full Usage:
this.IsTUP2BV
Returns: bool
|
|
Full Usage:
this.IsTWOCOLON
Returns: bool
|
|
Full Usage:
this.IsTWOPOINTS
Returns: bool
|
|
Full Usage:
this.IsUNDERSCORE
Returns: bool
|
|
Full Usage:
this.IsUNTIL
Returns: bool
|
|
Full Usage:
this.IsWEAK
Returns: bool
|
|
Full Usage:
this.IsWHEN
Returns: bool
|
|
Full Usage:
this.IsWHILE
Returns: bool
|
|
Full Usage:
this.IsWITH
Returns: bool
|
|
Full Usage:
this.IsXOR
Returns: bool
|
|