Header menu logo F# Header menu logo Averest

tokenId Type

Union cases

Union case Description

TOKEN_ABBREVIATIONS

Full Usage: TOKEN_ABBREVIATIONS

TOKEN_ABBRV

Full Usage: TOKEN_ABBRV

TOKEN_ABRT

Full Usage: TOKEN_ABRT

TOKEN_ABS

Full Usage: TOKEN_ABS

TOKEN_ABSREACTION

Full Usage: TOKEN_ABSREACTION

TOKEN_ABSREACTIONS

Full Usage: TOKEN_ABSREACTIONS

TOKEN_ACCEPTANCE

Full Usage: TOKEN_ACCEPTANCE

TOKEN_ADD

Full Usage: TOKEN_ADD

TOKEN_AIF

Full Usage: TOKEN_AIF

TOKEN_ALSB

Full Usage: TOKEN_ALSB

TOKEN_ALWAYS

Full Usage: TOKEN_ALWAYS

TOKEN_AMODULE

Full Usage: TOKEN_AMODULE

TOKEN_AMSB

Full Usage: TOKEN_AMSB

TOKEN_ANAME

Full Usage: TOKEN_ANAME

TOKEN_ANY

Full Usage: TOKEN_ANY

TOKEN_APOS

Full Usage: TOKEN_APOS

TOKEN_APPEND

Full Usage: TOKEN_APPEND

TOKEN_ARG

Full Usage: TOKEN_ARG

TOKEN_ARRACC

Full Usage: TOKEN_ARRACC

TOKEN_ARREXPR

Full Usage: TOKEN_ARREXPR

TOKEN_ARROFEXPRL

Full Usage: TOKEN_ARROFEXPRL

TOKEN_ASIZE

Full Usage: TOKEN_ASIZE

TOKEN_ASSERT

Full Usage: TOKEN_ASSERT

TOKEN_ASSERTIONS

Full Usage: TOKEN_ASSERTIONS

TOKEN_ASSIGN

Full Usage: TOKEN_ASSIGN

TOKEN_ASSIGNDRV

Full Usage: TOKEN_ASSIGNDRV

TOKEN_ASSIGNFLW

Full Usage: TOKEN_ASSIGNFLW

TOKEN_ASSUME

Full Usage: TOKEN_ASSUME

TOKEN_ASSUMPTIONS

Full Usage: TOKEN_ASSUMPTIONS

TOKEN_ASTORAGE

Full Usage: TOKEN_ASTORAGE

TOKEN_ATASK

Full Usage: TOKEN_ATASK

TOKEN_ATIME

Full Usage: TOKEN_ATIME

TOKEN_ATOM

Full Usage: TOKEN_ATOM

TOKEN_ATYPE

Full Usage: TOKEN_ATYPE

TOKEN_AVALUE

Full Usage: TOKEN_AVALUE

TOKEN_AVERSION

Full Usage: TOKEN_AVERSION

TOKEN_AWIDTH

Full Usage: TOKEN_AWIDTH

TOKEN_BASICNAME

Full Usage: TOKEN_BASICNAME

TOKEN_BOOLBITOFBTV

Full Usage: TOKEN_BOOLBITOFBTV

TOKEN_BOOLCONJ

Full Usage: TOKEN_BOOLCONJ

TOKEN_BOOLCONST

Full Usage: TOKEN_BOOLCONST

TOKEN_BOOLDISJ

Full Usage: TOKEN_BOOLDISJ

TOKEN_BOOLEQU

Full Usage: TOKEN_BOOLEQU

TOKEN_BOOLEXPR

Full Usage: TOKEN_BOOLEXPR

TOKEN_BOOLIMPL

Full Usage: TOKEN_BOOLIMPL

TOKEN_BOOLNEG

Full Usage: TOKEN_BOOLNEG

TOKEN_BOOLOFBTV

Full Usage: TOKEN_BOOLOFBTV

TOKEN_BT

Full Usage: TOKEN_BT

TOKEN_BTVCONST

Full Usage: TOKEN_BTVCONST

TOKEN_BTVEQQ

Full Usage: TOKEN_BTVEQQ

TOKEN_BTVEXPR

Full Usage: TOKEN_BTVEXPR

TOKEN_BTVOFBOOL

Full Usage: TOKEN_BTVOFBOOL

TOKEN_BTVOFBOOLARR

Full Usage: TOKEN_BTVOFBOOLARR

TOKEN_BTVOFBOOLTUP

Full Usage: TOKEN_BTVOFBOOLTUP

TOKEN_BTVOFINT

Full Usage: TOKEN_BTVOFINT

TOKEN_BTVOFNAT

Full Usage: TOKEN_BTVOFNAT

TOKEN_Bool

Full Usage: TOKEN_Bool

TOKEN_CALL

Full Usage: TOKEN_CALL

TOKEN_CASE

Full Usage: TOKEN_CASE

TOKEN_COMPILECONTEXT

Full Usage: TOKEN_COMPILECONTEXT

TOKEN_CONCAT

Full Usage: TOKEN_CONCAT

TOKEN_CONJ

Full Usage: TOKEN_CONJ

TOKEN_CONSTRAIN

Full Usage: TOKEN_CONSTRAIN

TOKEN_CONT

Full Usage: TOKEN_CONT

TOKEN_CONTINUOUS

Full Usage: TOKEN_CONTINUOUS

TOKEN_CONTROLFLOW

Full Usage: TOKEN_CONTROLFLOW

TOKEN_CONTROLLED

Full Usage: TOKEN_CONTROLLED

TOKEN_COS

Full Usage: TOKEN_COS

TOKEN_DATAFLOW

Full Usage: TOKEN_DATAFLOW

TOKEN_DEFAULT

Full Usage: TOKEN_DEFAULT

TOKEN_DEPTH

Full Usage: TOKEN_DEPTH

TOKEN_DEPTHCALLS

Full Usage: TOKEN_DEPTHCALLS

TOKEN_DERIV

Full Usage: TOKEN_DERIV

TOKEN_DERIVEDNAME

Full Usage: TOKEN_DERIVEDNAME

TOKEN_DETERMAUTO

Full Usage: TOKEN_DETERMAUTO

TOKEN_DIM

Full Usage: TOKEN_DIM

TOKEN_DISJ

Full Usage: TOKEN_DISJ

TOKEN_DISPROVEA

Full Usage: TOKEN_DISPROVEA

TOKEN_DISPROVEE

Full Usage: TOKEN_DISPROVEE

TOKEN_DIV

Full Usage: TOKEN_DIV

TOKEN_DRIVERS

Full Usage: TOKEN_DRIVERS

TOKEN_DRV

Full Usage: TOKEN_DRV

TOKEN_EOF

Full Usage: TOKEN_EOF

TOKEN_EQU

Full Usage: TOKEN_EQU

TOKEN_ET

Full Usage: TOKEN_ET

TOKEN_EVENT

Full Usage: TOKEN_EVENT

TOKEN_EVENTUAL

Full Usage: TOKEN_EVENTUAL

TOKEN_EXISTS

Full Usage: TOKEN_EXISTS

TOKEN_EXISTSAUTO

Full Usage: TOKEN_EXISTSAUTO

TOKEN_EXP

Full Usage: TOKEN_EXP

TOKEN_FAIRNESS

Full Usage: TOKEN_FAIRNESS

TOKEN_FINITESTAR

Full Usage: TOKEN_FINITESTAR

TOKEN_FIXEQUS

Full Usage: TOKEN_FIXEQUS

TOKEN_FLW

Full Usage: TOKEN_FLW

TOKEN_FORALL

Full Usage: TOKEN_FORALL

TOKEN_FORALLAUTO

Full Usage: TOKEN_FORALLAUTO

TOKEN_GENERICNAME

Full Usage: TOKEN_GENERICNAME

TOKEN_IF

Full Usage: TOKEN_IF

TOKEN_IMPL

Full Usage: TOKEN_IMPL

TOKEN_INCARNATEDNAME

Full Usage: TOKEN_INCARNATEDNAME

TOKEN_INIT

Full Usage: TOKEN_INIT

TOKEN_INITIAL

Full Usage: TOKEN_INITIAL

TOKEN_INOUT

Full Usage: TOKEN_INOUT

TOKEN_INPUT

Full Usage: TOKEN_INPUT

TOKEN_INSD

Full Usage: TOKEN_INSD

TOKEN_INST

Full Usage: TOKEN_INST

TOKEN_INSTANCEDNAME

Full Usage: TOKEN_INSTANCEDNAME

TOKEN_INTBINCONST

Full Usage: TOKEN_INTBINCONST

TOKEN_INTCONST

Full Usage: TOKEN_INTCONST

TOKEN_INTEQU

Full Usage: TOKEN_INTEQU

TOKEN_INTERFACE

Full Usage: TOKEN_INTERFACE

TOKEN_INTEXPR

Full Usage: TOKEN_INTEXPR

TOKEN_INTLEQ

Full Usage: TOKEN_INTLEQ

TOKEN_INTLES

Full Usage: TOKEN_INTLES

TOKEN_INTOFBTV

Full Usage: TOKEN_INTOFBTV

TOKEN_INTOFNAT

Full Usage: TOKEN_INTOFNAT

TOKEN_INVAR

Full Usage: TOKEN_INVAR

TOKEN_ITE

Full Usage: TOKEN_ITE

TOKEN_LABEL

Full Usage: TOKEN_LABEL

TOKEN_LHSEXPR

Full Usage: TOKEN_LHSEXPR

TOKEN_LOCALS

Full Usage: TOKEN_LOCALS

TOKEN_LOCVAR

Full Usage: TOKEN_LOCVAR

TOKEN_LOG

Full Usage: TOKEN_LOG

TOKEN_MAIN

Full Usage: TOKEN_MAIN

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_NATBINCONST

Full Usage: TOKEN_NATBINCONST

TOKEN_NATCONST

Full Usage: TOKEN_NATCONST

TOKEN_NATEQU

Full Usage: TOKEN_NATEQU

TOKEN_NATEXPR

Full Usage: TOKEN_NATEXPR

TOKEN_NATLEQ

Full Usage: TOKEN_NATLEQ

TOKEN_NATLES

Full Usage: TOKEN_NATLES

TOKEN_NATOFBTV

Full Usage: TOKEN_NATOFBTV

TOKEN_NEG

Full Usage: TOKEN_NEG

TOKEN_NEXT

Full Usage: TOKEN_NEXT

TOKEN_NOW

Full Usage: TOKEN_NOW

TOKEN_NU

Full Usage: TOKEN_NU

TOKEN_NXT

Full Usage: TOKEN_NXT

TOKEN_Name

Full Usage: TOKEN_Name

TOKEN_Number

Full Usage: TOKEN_Number

TOKEN_OMEGASTAR

Full Usage: TOKEN_OMEGASTAR

TOKEN_ORACLE

Full Usage: TOKEN_ORACLE

TOKEN_OUTPUT

Full Usage: TOKEN_OUTPUT

TOKEN_PACKAGEDNAME

Full Usage: TOKEN_PACKAGEDNAME

TOKEN_PASTALWAYS

Full Usage: TOKEN_PASTALWAYS

TOKEN_PASTEVENTUAL

Full Usage: TOKEN_PASTEVENTUAL

TOKEN_PASTSTRONGBEFORE

Full Usage: TOKEN_PASTSTRONGBEFORE

TOKEN_PASTSTRONGNEXT

Full Usage: TOKEN_PASTSTRONGNEXT

TOKEN_PASTSTRONGUNTIL

Full Usage: TOKEN_PASTSTRONGUNTIL

TOKEN_PASTSTRONGWHEN

Full Usage: TOKEN_PASTSTRONGWHEN

TOKEN_PASTWEAKBEFORE

Full Usage: TOKEN_PASTWEAKBEFORE

TOKEN_PASTWEAKNEXT

Full Usage: TOKEN_PASTWEAKNEXT

TOKEN_PASTWEAKUNTIL

Full Usage: TOKEN_PASTWEAKUNTIL

TOKEN_PASTWEAKWHEN

Full Usage: TOKEN_PASTWEAKWHEN

TOKEN_PRESENT

Full Usage: TOKEN_PRESENT

TOKEN_PRMT

Full Usage: TOKEN_PRMT

TOKEN_PROVEA

Full Usage: TOKEN_PROVEA

TOKEN_PROVEE

Full Usage: TOKEN_PROVEE

TOKEN_QARR

Full Usage: TOKEN_QARR

TOKEN_QBOOL

Full Usage: TOKEN_QBOOL

TOKEN_QBTV

Full Usage: TOKEN_QBTV

TOKEN_QINT

Full Usage: TOKEN_QINT

TOKEN_QNAT

Full Usage: TOKEN_QNAT

TOKEN_QREAL

Full Usage: TOKEN_QREAL

TOKEN_QTUP

Full Usage: TOKEN_QTUP

TOKEN_REALCONST

Full Usage: TOKEN_REALCONST

TOKEN_REALEQU

Full Usage: TOKEN_REALEQU

TOKEN_REALEXPR

Full Usage: TOKEN_REALEXPR

TOKEN_REALLEQ

Full Usage: TOKEN_REALLEQ

TOKEN_REALLES

Full Usage: TOKEN_REALLES

TOKEN_REALOFINT

Full Usage: TOKEN_REALOFINT

TOKEN_REALOFNAT

Full Usage: TOKEN_REALOFNAT

TOKEN_RELEASE

Full Usage: TOKEN_RELEASE

TOKEN_REPLICATE

Full Usage: TOKEN_REPLICATE

TOKEN_REVERSE

Full Usage: TOKEN_REVERSE

TOKEN_RealNumber

Full Usage: TOKEN_RealNumber

TOKEN_SAT

Full Usage: TOKEN_SAT

TOKEN_SEGMENT

Full Usage: TOKEN_SEGMENT

TOKEN_SIGNADJUST

Full Usage: TOKEN_SIGNADJUST

TOKEN_SIN

Full Usage: TOKEN_SIN

TOKEN_SPEC

Full Usage: TOKEN_SPEC

TOKEN_SPECIFICATIONS

Full Usage: TOKEN_SPECIFICATIONS

TOKEN_STATEVARS

Full Usage: TOKEN_STATEVARS

TOKEN_STRG

Full Usage: TOKEN_STRG

TOKEN_STRONGBEFORE

Full Usage: TOKEN_STRONGBEFORE

TOKEN_STRONGUNTIL

Full Usage: TOKEN_STRONGUNTIL

TOKEN_STRONGWHEN

Full Usage: TOKEN_STRONGWHEN

TOKEN_STRT

Full Usage: TOKEN_STRT

TOKEN_SUB

Full Usage: TOKEN_SUB

TOKEN_SURFACE

Full Usage: TOKEN_SURFACE

TOKEN_SURFACECALLS

Full Usage: TOKEN_SURFACECALLS

TOKEN_SUSP

Full Usage: TOKEN_SUSP

TOKEN_SYSTEM

Full Usage: TOKEN_SYSTEM

TOKEN_SYSTEMPART

Full Usage: TOKEN_SYSTEMPART

TOKEN_TERM

Full Usage: TOKEN_TERM

TOKEN_TOKAX

Full Usage: TOKEN_TOKAX

TOKEN_TOKAY

Full Usage: TOKEN_TOKAY

TOKEN_TOKEX

Full Usage: TOKEN_TOKEX

TOKEN_TOKEY

Full Usage: TOKEN_TOKEY

TOKEN_TRANSEQ

Full Usage: TOKEN_TRANSEQ

TOKEN_TRANSEQUATIONS

Full Usage: TOKEN_TRANSEQUATIONS

TOKEN_TRANSFER

Full Usage: TOKEN_TRANSFER

TOKEN_TRANSFERS

Full Usage: TOKEN_TRANSFERS

TOKEN_TRANSREL

Full Usage: TOKEN_TRANSREL

TOKEN_TUPACC

Full Usage: TOKEN_TUPACC

TOKEN_TUPEQQ

Full Usage: TOKEN_TUPEQQ

TOKEN_TUPEXPR

Full Usage: TOKEN_TUPEXPR

TOKEN_TUPOFEXPRL

Full Usage: TOKEN_TUPOFEXPRL

TOKEN_TYPEMAPNAME

Full Usage: TOKEN_TYPEMAPNAME

TOKEN_VAR

Full Usage: TOKEN_VAR

TOKEN_WEAKBEFORE

Full Usage: TOKEN_WEAKBEFORE

TOKEN_WEAKUNTIL

Full Usage: TOKEN_WEAKUNTIL

TOKEN_WEAKWHEN

Full Usage: TOKEN_WEAKWHEN

TOKEN_X

Full Usage: TOKEN_X

TOKEN_XX

Full Usage: TOKEN_XX

TOKEN_ZEROADJUST

Full Usage: TOKEN_ZEROADJUST

TOKEN_end_of_input

Full Usage: TOKEN_end_of_input

TOKEN_error

Full Usage: TOKEN_error

Instance members

Instance member Description

this.IsTOKEN_ABBREVIATIONS

Full Usage: this.IsTOKEN_ABBREVIATIONS

Returns: bool
Returns: bool

this.IsTOKEN_ABBRV

Full Usage: this.IsTOKEN_ABBRV

Returns: bool
Returns: bool

this.IsTOKEN_ABRT

Full Usage: this.IsTOKEN_ABRT

Returns: bool
Returns: bool

this.IsTOKEN_ABS

Full Usage: this.IsTOKEN_ABS

Returns: bool
Returns: bool

this.IsTOKEN_ABSREACTION

Full Usage: this.IsTOKEN_ABSREACTION

Returns: bool
Returns: bool

this.IsTOKEN_ABSREACTIONS

Full Usage: this.IsTOKEN_ABSREACTIONS

Returns: bool
Returns: bool

this.IsTOKEN_ACCEPTANCE

Full Usage: this.IsTOKEN_ACCEPTANCE

Returns: bool
Returns: bool

this.IsTOKEN_ADD

Full Usage: this.IsTOKEN_ADD

Returns: bool
Returns: bool

this.IsTOKEN_AIF

Full Usage: this.IsTOKEN_AIF

Returns: bool
Returns: bool

this.IsTOKEN_ALSB

Full Usage: this.IsTOKEN_ALSB

Returns: bool
Returns: bool

this.IsTOKEN_ALWAYS

Full Usage: this.IsTOKEN_ALWAYS

Returns: bool
Returns: bool

this.IsTOKEN_AMODULE

Full Usage: this.IsTOKEN_AMODULE

Returns: bool
Returns: bool

this.IsTOKEN_AMSB

Full Usage: this.IsTOKEN_AMSB

Returns: bool
Returns: bool

this.IsTOKEN_ANAME

Full Usage: this.IsTOKEN_ANAME

Returns: bool
Returns: bool

this.IsTOKEN_ANY

Full Usage: this.IsTOKEN_ANY

Returns: bool
Returns: bool

this.IsTOKEN_APOS

Full Usage: this.IsTOKEN_APOS

Returns: bool
Returns: bool

this.IsTOKEN_APPEND

Full Usage: this.IsTOKEN_APPEND

Returns: bool
Returns: bool

this.IsTOKEN_ARG

Full Usage: this.IsTOKEN_ARG

Returns: bool
Returns: bool

this.IsTOKEN_ARRACC

Full Usage: this.IsTOKEN_ARRACC

Returns: bool
Returns: bool

this.IsTOKEN_ARREXPR

Full Usage: this.IsTOKEN_ARREXPR

Returns: bool
Returns: bool

this.IsTOKEN_ARROFEXPRL

Full Usage: this.IsTOKEN_ARROFEXPRL

Returns: bool
Returns: bool

this.IsTOKEN_ASIZE

Full Usage: this.IsTOKEN_ASIZE

Returns: bool
Returns: bool

this.IsTOKEN_ASSERT

Full Usage: this.IsTOKEN_ASSERT

Returns: bool
Returns: bool

this.IsTOKEN_ASSERTIONS

Full Usage: this.IsTOKEN_ASSERTIONS

Returns: bool
Returns: bool

this.IsTOKEN_ASSIGN

Full Usage: this.IsTOKEN_ASSIGN

Returns: bool
Returns: bool

this.IsTOKEN_ASSIGNDRV

Full Usage: this.IsTOKEN_ASSIGNDRV

Returns: bool
Returns: bool

this.IsTOKEN_ASSIGNFLW

Full Usage: this.IsTOKEN_ASSIGNFLW

Returns: bool
Returns: bool

this.IsTOKEN_ASSUME

Full Usage: this.IsTOKEN_ASSUME

Returns: bool
Returns: bool

this.IsTOKEN_ASSUMPTIONS

Full Usage: this.IsTOKEN_ASSUMPTIONS

Returns: bool
Returns: bool

this.IsTOKEN_ASTORAGE

Full Usage: this.IsTOKEN_ASTORAGE

Returns: bool
Returns: bool

this.IsTOKEN_ATASK

Full Usage: this.IsTOKEN_ATASK

Returns: bool
Returns: bool

this.IsTOKEN_ATIME

Full Usage: this.IsTOKEN_ATIME

Returns: bool
Returns: bool

this.IsTOKEN_ATOM

Full Usage: this.IsTOKEN_ATOM

Returns: bool
Returns: bool

this.IsTOKEN_ATYPE

Full Usage: this.IsTOKEN_ATYPE

Returns: bool
Returns: bool

this.IsTOKEN_AVALUE

Full Usage: this.IsTOKEN_AVALUE

Returns: bool
Returns: bool

this.IsTOKEN_AVERSION

Full Usage: this.IsTOKEN_AVERSION

Returns: bool
Returns: bool

this.IsTOKEN_AWIDTH

Full Usage: this.IsTOKEN_AWIDTH

Returns: bool
Returns: bool

this.IsTOKEN_BASICNAME

Full Usage: this.IsTOKEN_BASICNAME

Returns: bool
Returns: bool

this.IsTOKEN_BOOLBITOFBTV

Full Usage: this.IsTOKEN_BOOLBITOFBTV

Returns: bool
Returns: bool

this.IsTOKEN_BOOLCONJ

Full Usage: this.IsTOKEN_BOOLCONJ

Returns: bool
Returns: bool

this.IsTOKEN_BOOLCONST

Full Usage: this.IsTOKEN_BOOLCONST

Returns: bool
Returns: bool

this.IsTOKEN_BOOLDISJ

Full Usage: this.IsTOKEN_BOOLDISJ

Returns: bool
Returns: bool

this.IsTOKEN_BOOLEQU

Full Usage: this.IsTOKEN_BOOLEQU

Returns: bool
Returns: bool

this.IsTOKEN_BOOLEXPR

Full Usage: this.IsTOKEN_BOOLEXPR

Returns: bool
Returns: bool

this.IsTOKEN_BOOLIMPL

Full Usage: this.IsTOKEN_BOOLIMPL

Returns: bool
Returns: bool

this.IsTOKEN_BOOLNEG

Full Usage: this.IsTOKEN_BOOLNEG

Returns: bool
Returns: bool

this.IsTOKEN_BOOLOFBTV

Full Usage: this.IsTOKEN_BOOLOFBTV

Returns: bool
Returns: bool

this.IsTOKEN_BT

Full Usage: this.IsTOKEN_BT

Returns: bool
Returns: bool

this.IsTOKEN_BTVCONST

Full Usage: this.IsTOKEN_BTVCONST

Returns: bool
Returns: bool

this.IsTOKEN_BTVEQQ

Full Usage: this.IsTOKEN_BTVEQQ

Returns: bool
Returns: bool

this.IsTOKEN_BTVEXPR

Full Usage: this.IsTOKEN_BTVEXPR

Returns: bool
Returns: bool

this.IsTOKEN_BTVOFBOOL

Full Usage: this.IsTOKEN_BTVOFBOOL

Returns: bool
Returns: bool

this.IsTOKEN_BTVOFBOOLARR

Full Usage: this.IsTOKEN_BTVOFBOOLARR

Returns: bool
Returns: bool

this.IsTOKEN_BTVOFBOOLTUP

Full Usage: this.IsTOKEN_BTVOFBOOLTUP

Returns: bool
Returns: bool

this.IsTOKEN_BTVOFINT

Full Usage: this.IsTOKEN_BTVOFINT

Returns: bool
Returns: bool

this.IsTOKEN_BTVOFNAT

Full Usage: this.IsTOKEN_BTVOFNAT

Returns: bool
Returns: bool

this.IsTOKEN_Bool

Full Usage: this.IsTOKEN_Bool

Returns: bool
Returns: bool

this.IsTOKEN_CALL

Full Usage: this.IsTOKEN_CALL

Returns: bool
Returns: bool

this.IsTOKEN_CASE

Full Usage: this.IsTOKEN_CASE

Returns: bool
Returns: bool

this.IsTOKEN_COMPILECONTEXT

Full Usage: this.IsTOKEN_COMPILECONTEXT

Returns: bool
Returns: bool

this.IsTOKEN_CONCAT

Full Usage: this.IsTOKEN_CONCAT

Returns: bool
Returns: bool

this.IsTOKEN_CONJ

Full Usage: this.IsTOKEN_CONJ

Returns: bool
Returns: bool

this.IsTOKEN_CONSTRAIN

Full Usage: this.IsTOKEN_CONSTRAIN

Returns: bool
Returns: bool

this.IsTOKEN_CONT

Full Usage: this.IsTOKEN_CONT

Returns: bool
Returns: bool

this.IsTOKEN_CONTINUOUS

Full Usage: this.IsTOKEN_CONTINUOUS

Returns: bool
Returns: bool

this.IsTOKEN_CONTROLFLOW

Full Usage: this.IsTOKEN_CONTROLFLOW

Returns: bool
Returns: bool

this.IsTOKEN_CONTROLLED

Full Usage: this.IsTOKEN_CONTROLLED

Returns: bool
Returns: bool

this.IsTOKEN_COS

Full Usage: this.IsTOKEN_COS

Returns: bool
Returns: bool

this.IsTOKEN_DATAFLOW

Full Usage: this.IsTOKEN_DATAFLOW

Returns: bool
Returns: bool

this.IsTOKEN_DEFAULT

Full Usage: this.IsTOKEN_DEFAULT

Returns: bool
Returns: bool

this.IsTOKEN_DEPTH

Full Usage: this.IsTOKEN_DEPTH

Returns: bool
Returns: bool

this.IsTOKEN_DEPTHCALLS

Full Usage: this.IsTOKEN_DEPTHCALLS

Returns: bool
Returns: bool

this.IsTOKEN_DERIV

Full Usage: this.IsTOKEN_DERIV

Returns: bool
Returns: bool

this.IsTOKEN_DERIVEDNAME

Full Usage: this.IsTOKEN_DERIVEDNAME

Returns: bool
Returns: bool

this.IsTOKEN_DETERMAUTO

Full Usage: this.IsTOKEN_DETERMAUTO

Returns: bool
Returns: bool

this.IsTOKEN_DIM

Full Usage: this.IsTOKEN_DIM

Returns: bool
Returns: bool

this.IsTOKEN_DISJ

Full Usage: this.IsTOKEN_DISJ

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_DRIVERS

Full Usage: this.IsTOKEN_DRIVERS

Returns: bool
Returns: bool

this.IsTOKEN_DRV

Full Usage: this.IsTOKEN_DRV

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_ET

Full Usage: this.IsTOKEN_ET

Returns: bool
Returns: bool

this.IsTOKEN_EVENT

Full Usage: this.IsTOKEN_EVENT

Returns: bool
Returns: bool

this.IsTOKEN_EVENTUAL

Full Usage: this.IsTOKEN_EVENTUAL

Returns: bool
Returns: bool

this.IsTOKEN_EXISTS

Full Usage: this.IsTOKEN_EXISTS

Returns: bool
Returns: bool

this.IsTOKEN_EXISTSAUTO

Full Usage: this.IsTOKEN_EXISTSAUTO

Returns: bool
Returns: bool

this.IsTOKEN_EXP

Full Usage: this.IsTOKEN_EXP

Returns: bool
Returns: bool

this.IsTOKEN_FAIRNESS

Full Usage: this.IsTOKEN_FAIRNESS

Returns: bool
Returns: bool

this.IsTOKEN_FINITESTAR

Full Usage: this.IsTOKEN_FINITESTAR

Returns: bool
Returns: bool

this.IsTOKEN_FIXEQUS

Full Usage: this.IsTOKEN_FIXEQUS

Returns: bool
Returns: bool

this.IsTOKEN_FLW

Full Usage: this.IsTOKEN_FLW

Returns: bool
Returns: bool

this.IsTOKEN_FORALL

Full Usage: this.IsTOKEN_FORALL

Returns: bool
Returns: bool

this.IsTOKEN_FORALLAUTO

Full Usage: this.IsTOKEN_FORALLAUTO

Returns: bool
Returns: bool

this.IsTOKEN_GENERICNAME

Full Usage: this.IsTOKEN_GENERICNAME

Returns: bool
Returns: bool

this.IsTOKEN_IF

Full Usage: this.IsTOKEN_IF

Returns: bool
Returns: bool

this.IsTOKEN_IMPL

Full Usage: this.IsTOKEN_IMPL

Returns: bool
Returns: bool

this.IsTOKEN_INCARNATEDNAME

Full Usage: this.IsTOKEN_INCARNATEDNAME

Returns: bool
Returns: bool

this.IsTOKEN_INIT

Full Usage: this.IsTOKEN_INIT

Returns: bool
Returns: bool

this.IsTOKEN_INITIAL

Full Usage: this.IsTOKEN_INITIAL

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_INSD

Full Usage: this.IsTOKEN_INSD

Returns: bool
Returns: bool

this.IsTOKEN_INST

Full Usage: this.IsTOKEN_INST

Returns: bool
Returns: bool

this.IsTOKEN_INSTANCEDNAME

Full Usage: this.IsTOKEN_INSTANCEDNAME

Returns: bool
Returns: bool

this.IsTOKEN_INTBINCONST

Full Usage: this.IsTOKEN_INTBINCONST

Returns: bool
Returns: bool

this.IsTOKEN_INTCONST

Full Usage: this.IsTOKEN_INTCONST

Returns: bool
Returns: bool

this.IsTOKEN_INTEQU

Full Usage: this.IsTOKEN_INTEQU

Returns: bool
Returns: bool

this.IsTOKEN_INTERFACE

Full Usage: this.IsTOKEN_INTERFACE

Returns: bool
Returns: bool

this.IsTOKEN_INTEXPR

Full Usage: this.IsTOKEN_INTEXPR

Returns: bool
Returns: bool

this.IsTOKEN_INTLEQ

Full Usage: this.IsTOKEN_INTLEQ

Returns: bool
Returns: bool

this.IsTOKEN_INTLES

Full Usage: this.IsTOKEN_INTLES

Returns: bool
Returns: bool

this.IsTOKEN_INTOFBTV

Full Usage: this.IsTOKEN_INTOFBTV

Returns: bool
Returns: bool

this.IsTOKEN_INTOFNAT

Full Usage: this.IsTOKEN_INTOFNAT

Returns: bool
Returns: bool

this.IsTOKEN_INVAR

Full Usage: this.IsTOKEN_INVAR

Returns: bool
Returns: bool

this.IsTOKEN_ITE

Full Usage: this.IsTOKEN_ITE

Returns: bool
Returns: bool

this.IsTOKEN_LABEL

Full Usage: this.IsTOKEN_LABEL

Returns: bool
Returns: bool

this.IsTOKEN_LHSEXPR

Full Usage: this.IsTOKEN_LHSEXPR

Returns: bool
Returns: bool

this.IsTOKEN_LOCALS

Full Usage: this.IsTOKEN_LOCALS

Returns: bool
Returns: bool

this.IsTOKEN_LOCVAR

Full Usage: this.IsTOKEN_LOCVAR

Returns: bool
Returns: bool

this.IsTOKEN_LOG

Full Usage: this.IsTOKEN_LOG

Returns: bool
Returns: bool

this.IsTOKEN_MAIN

Full Usage: this.IsTOKEN_MAIN

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_NATBINCONST

Full Usage: this.IsTOKEN_NATBINCONST

Returns: bool
Returns: bool

this.IsTOKEN_NATCONST

Full Usage: this.IsTOKEN_NATCONST

Returns: bool
Returns: bool

this.IsTOKEN_NATEQU

Full Usage: this.IsTOKEN_NATEQU

Returns: bool
Returns: bool

this.IsTOKEN_NATEXPR

Full Usage: this.IsTOKEN_NATEXPR

Returns: bool
Returns: bool

this.IsTOKEN_NATLEQ

Full Usage: this.IsTOKEN_NATLEQ

Returns: bool
Returns: bool

this.IsTOKEN_NATLES

Full Usage: this.IsTOKEN_NATLES

Returns: bool
Returns: bool

this.IsTOKEN_NATOFBTV

Full Usage: this.IsTOKEN_NATOFBTV

Returns: bool
Returns: bool

this.IsTOKEN_NEG

Full Usage: this.IsTOKEN_NEG

Returns: bool
Returns: bool

this.IsTOKEN_NEXT

Full Usage: this.IsTOKEN_NEXT

Returns: bool
Returns: bool

this.IsTOKEN_NOW

Full Usage: this.IsTOKEN_NOW

Returns: bool
Returns: bool

this.IsTOKEN_NU

Full Usage: this.IsTOKEN_NU

Returns: bool
Returns: bool

this.IsTOKEN_NXT

Full Usage: this.IsTOKEN_NXT

Returns: bool
Returns: bool

this.IsTOKEN_Name

Full Usage: this.IsTOKEN_Name

Returns: bool
Returns: bool

this.IsTOKEN_Number

Full Usage: this.IsTOKEN_Number

Returns: bool
Returns: bool

this.IsTOKEN_OMEGASTAR

Full Usage: this.IsTOKEN_OMEGASTAR

Returns: bool
Returns: bool

this.IsTOKEN_ORACLE

Full Usage: this.IsTOKEN_ORACLE

Returns: bool
Returns: bool

this.IsTOKEN_OUTPUT

Full Usage: this.IsTOKEN_OUTPUT

Returns: bool
Returns: bool

this.IsTOKEN_PACKAGEDNAME

Full Usage: this.IsTOKEN_PACKAGEDNAME

Returns: bool
Returns: bool

this.IsTOKEN_PASTALWAYS

Full Usage: this.IsTOKEN_PASTALWAYS

Returns: bool
Returns: bool

this.IsTOKEN_PASTEVENTUAL

Full Usage: this.IsTOKEN_PASTEVENTUAL

Returns: bool
Returns: bool

this.IsTOKEN_PASTSTRONGBEFORE

Full Usage: this.IsTOKEN_PASTSTRONGBEFORE

Returns: bool
Returns: bool

this.IsTOKEN_PASTSTRONGNEXT

Full Usage: this.IsTOKEN_PASTSTRONGNEXT

Returns: bool
Returns: bool

this.IsTOKEN_PASTSTRONGUNTIL

Full Usage: this.IsTOKEN_PASTSTRONGUNTIL

Returns: bool
Returns: bool

this.IsTOKEN_PASTSTRONGWHEN

Full Usage: this.IsTOKEN_PASTSTRONGWHEN

Returns: bool
Returns: bool

this.IsTOKEN_PASTWEAKBEFORE

Full Usage: this.IsTOKEN_PASTWEAKBEFORE

Returns: bool
Returns: bool

this.IsTOKEN_PASTWEAKNEXT

Full Usage: this.IsTOKEN_PASTWEAKNEXT

Returns: bool
Returns: bool

this.IsTOKEN_PASTWEAKUNTIL

Full Usage: this.IsTOKEN_PASTWEAKUNTIL

Returns: bool
Returns: bool

this.IsTOKEN_PASTWEAKWHEN

Full Usage: this.IsTOKEN_PASTWEAKWHEN

Returns: bool
Returns: bool

this.IsTOKEN_PRESENT

Full Usage: this.IsTOKEN_PRESENT

Returns: bool
Returns: bool

this.IsTOKEN_PRMT

Full Usage: this.IsTOKEN_PRMT

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_QARR

Full Usage: this.IsTOKEN_QARR

Returns: bool
Returns: bool

this.IsTOKEN_QBOOL

Full Usage: this.IsTOKEN_QBOOL

Returns: bool
Returns: bool

this.IsTOKEN_QBTV

Full Usage: this.IsTOKEN_QBTV

Returns: bool
Returns: bool

this.IsTOKEN_QINT

Full Usage: this.IsTOKEN_QINT

Returns: bool
Returns: bool

this.IsTOKEN_QNAT

Full Usage: this.IsTOKEN_QNAT

Returns: bool
Returns: bool

this.IsTOKEN_QREAL

Full Usage: this.IsTOKEN_QREAL

Returns: bool
Returns: bool

this.IsTOKEN_QTUP

Full Usage: this.IsTOKEN_QTUP

Returns: bool
Returns: bool

this.IsTOKEN_REALCONST

Full Usage: this.IsTOKEN_REALCONST

Returns: bool
Returns: bool

this.IsTOKEN_REALEQU

Full Usage: this.IsTOKEN_REALEQU

Returns: bool
Returns: bool

this.IsTOKEN_REALEXPR

Full Usage: this.IsTOKEN_REALEXPR

Returns: bool
Returns: bool

this.IsTOKEN_REALLEQ

Full Usage: this.IsTOKEN_REALLEQ

Returns: bool
Returns: bool

this.IsTOKEN_REALLES

Full Usage: this.IsTOKEN_REALLES

Returns: bool
Returns: bool

this.IsTOKEN_REALOFINT

Full Usage: this.IsTOKEN_REALOFINT

Returns: bool
Returns: bool

this.IsTOKEN_REALOFNAT

Full Usage: this.IsTOKEN_REALOFNAT

Returns: bool
Returns: bool

this.IsTOKEN_RELEASE

Full Usage: this.IsTOKEN_RELEASE

Returns: bool
Returns: bool

this.IsTOKEN_REPLICATE

Full Usage: this.IsTOKEN_REPLICATE

Returns: bool
Returns: bool

this.IsTOKEN_REVERSE

Full Usage: this.IsTOKEN_REVERSE

Returns: bool
Returns: bool

this.IsTOKEN_RealNumber

Full Usage: this.IsTOKEN_RealNumber

Returns: bool
Returns: bool

this.IsTOKEN_SAT

Full Usage: this.IsTOKEN_SAT

Returns: bool
Returns: bool

this.IsTOKEN_SEGMENT

Full Usage: this.IsTOKEN_SEGMENT

Returns: bool
Returns: bool

this.IsTOKEN_SIGNADJUST

Full Usage: this.IsTOKEN_SIGNADJUST

Returns: bool
Returns: bool

this.IsTOKEN_SIN

Full Usage: this.IsTOKEN_SIN

Returns: bool
Returns: bool

this.IsTOKEN_SPEC

Full Usage: this.IsTOKEN_SPEC

Returns: bool
Returns: bool

this.IsTOKEN_SPECIFICATIONS

Full Usage: this.IsTOKEN_SPECIFICATIONS

Returns: bool
Returns: bool

this.IsTOKEN_STATEVARS

Full Usage: this.IsTOKEN_STATEVARS

Returns: bool
Returns: bool

this.IsTOKEN_STRG

Full Usage: this.IsTOKEN_STRG

Returns: bool
Returns: bool

this.IsTOKEN_STRONGBEFORE

Full Usage: this.IsTOKEN_STRONGBEFORE

Returns: bool
Returns: bool

this.IsTOKEN_STRONGUNTIL

Full Usage: this.IsTOKEN_STRONGUNTIL

Returns: bool
Returns: bool

this.IsTOKEN_STRONGWHEN

Full Usage: this.IsTOKEN_STRONGWHEN

Returns: bool
Returns: bool

this.IsTOKEN_STRT

Full Usage: this.IsTOKEN_STRT

Returns: bool
Returns: bool

this.IsTOKEN_SUB

Full Usage: this.IsTOKEN_SUB

Returns: bool
Returns: bool

this.IsTOKEN_SURFACE

Full Usage: this.IsTOKEN_SURFACE

Returns: bool
Returns: bool

this.IsTOKEN_SURFACECALLS

Full Usage: this.IsTOKEN_SURFACECALLS

Returns: bool
Returns: bool

this.IsTOKEN_SUSP

Full Usage: this.IsTOKEN_SUSP

Returns: bool
Returns: bool

this.IsTOKEN_SYSTEM

Full Usage: this.IsTOKEN_SYSTEM

Returns: bool
Returns: bool

this.IsTOKEN_SYSTEMPART

Full Usage: this.IsTOKEN_SYSTEMPART

Returns: bool
Returns: bool

this.IsTOKEN_TERM

Full Usage: this.IsTOKEN_TERM

Returns: bool
Returns: bool

this.IsTOKEN_TOKAX

Full Usage: this.IsTOKEN_TOKAX

Returns: bool
Returns: bool

this.IsTOKEN_TOKAY

Full Usage: this.IsTOKEN_TOKAY

Returns: bool
Returns: bool

this.IsTOKEN_TOKEX

Full Usage: this.IsTOKEN_TOKEX

Returns: bool
Returns: bool

this.IsTOKEN_TOKEY

Full Usage: this.IsTOKEN_TOKEY

Returns: bool
Returns: bool

this.IsTOKEN_TRANSEQ

Full Usage: this.IsTOKEN_TRANSEQ

Returns: bool
Returns: bool

this.IsTOKEN_TRANSEQUATIONS

Full Usage: this.IsTOKEN_TRANSEQUATIONS

Returns: bool
Returns: bool

this.IsTOKEN_TRANSFER

Full Usage: this.IsTOKEN_TRANSFER

Returns: bool
Returns: bool

this.IsTOKEN_TRANSFERS

Full Usage: this.IsTOKEN_TRANSFERS

Returns: bool
Returns: bool

this.IsTOKEN_TRANSREL

Full Usage: this.IsTOKEN_TRANSREL

Returns: bool
Returns: bool

this.IsTOKEN_TUPACC

Full Usage: this.IsTOKEN_TUPACC

Returns: bool
Returns: bool

this.IsTOKEN_TUPEQQ

Full Usage: this.IsTOKEN_TUPEQQ

Returns: bool
Returns: bool

this.IsTOKEN_TUPEXPR

Full Usage: this.IsTOKEN_TUPEXPR

Returns: bool
Returns: bool

this.IsTOKEN_TUPOFEXPRL

Full Usage: this.IsTOKEN_TUPOFEXPRL

Returns: bool
Returns: bool

this.IsTOKEN_TYPEMAPNAME

Full Usage: this.IsTOKEN_TYPEMAPNAME

Returns: bool
Returns: bool

this.IsTOKEN_VAR

Full Usage: this.IsTOKEN_VAR

Returns: bool
Returns: bool

this.IsTOKEN_WEAKBEFORE

Full Usage: this.IsTOKEN_WEAKBEFORE

Returns: bool
Returns: bool

this.IsTOKEN_WEAKUNTIL

Full Usage: this.IsTOKEN_WEAKUNTIL

Returns: bool
Returns: bool

this.IsTOKEN_WEAKWHEN

Full Usage: this.IsTOKEN_WEAKWHEN

Returns: bool
Returns: bool

this.IsTOKEN_X

Full Usage: this.IsTOKEN_X

Returns: bool
Returns: bool

this.IsTOKEN_XX

Full Usage: this.IsTOKEN_XX

Returns: bool
Returns: bool

this.IsTOKEN_ZEROADJUST

Full Usage: this.IsTOKEN_ZEROADJUST

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

Type something to start searching.