Class SMTLIBv2Lexer
Inheritance
System.Object
SMTLIBv2Lexer
Assembly: Smtlibv2.dll
Syntax
public class SMTLIBv2Lexer : Lexer
Constructors
|
Improve this Doc
View Source
SMTLIBv2Lexer(ICharStream)
Declaration
public SMTLIBv2Lexer(ICharStream input)
Parameters
| Type |
Name |
Description |
| ICharStream |
input |
|
|
Improve this Doc
View Source
SMTLIBv2Lexer(ICharStream, TextWriter, TextWriter)
Declaration
public SMTLIBv2Lexer(ICharStream input, TextWriter output, TextWriter errorOutput)
Parameters
| Type |
Name |
Description |
| ICharStream |
input |
|
| TextWriter |
output |
|
| TextWriter |
errorOutput |
|
Fields
|
Improve this Doc
View Source
_ATN
Declaration
public static readonly ATN _ATN
Field Value
|
Improve this Doc
View Source
Binary
Declaration
public const int Binary = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
channelNames
Declaration
public static string[] channelNames
Field Value
| Type |
Description |
| System.String[] |
|
|
Improve this Doc
View Source
CMD_Assert
Declaration
public const int CMD_Assert = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
CMD_CheckSat
Declaration
public const int CMD_CheckSat = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
CMD_CheckSatAssuming
Declaration
public const int CMD_CheckSatAssuming = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
CMD_DeclareConst
Declaration
public const int CMD_DeclareConst = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
CMD_DeclareDatatype
Declaration
public const int CMD_DeclareDatatype = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
CMD_DeclareDatatypes
Declaration
public const int CMD_DeclareDatatypes = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
CMD_DeclareFun
Declaration
public const int CMD_DeclareFun = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
CMD_DeclareSort
Declaration
public const int CMD_DeclareSort = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
CMD_DefineFun
Declaration
public const int CMD_DefineFun = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
CMD_DefineFunRec
Declaration
public const int CMD_DefineFunRec = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
CMD_DefineFunsRec
Declaration
public const int CMD_DefineFunsRec = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
CMD_DefineSort
Declaration
public const int CMD_DefineSort = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
CMD_Echo
Declaration
public const int CMD_Echo = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
CMD_Exit
Declaration
public const int CMD_Exit = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
CMD_GetAssertions
Declaration
public const int CMD_GetAssertions = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
CMD_GetAssignment
Declaration
public const int CMD_GetAssignment = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
CMD_GetInfo
Declaration
public const int CMD_GetInfo = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
CMD_GetModel
Declaration
public const int CMD_GetModel = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
CMD_GetOption
Declaration
public const int CMD_GetOption = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
CMD_GetProof
Declaration
public const int CMD_GetProof = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
CMD_GetUnsatAssumptions
Declaration
public const int CMD_GetUnsatAssumptions = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
CMD_GetUnsatCore
Declaration
public const int CMD_GetUnsatCore = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
CMD_GetValue
Declaration
public const int CMD_GetValue = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
CMD_Pop
Declaration
public const int CMD_Pop = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
CMD_Push
Declaration
public const int CMD_Push = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
CMD_Reset
Declaration
public const int CMD_Reset = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
CMD_ResetAssertions
Declaration
public const int CMD_ResetAssertions = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
CMD_SetInfo
Declaration
public const int CMD_SetInfo = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
CMD_SetLogic
Declaration
public const int CMD_SetLogic = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
CMD_SetOption
Declaration
public const int CMD_SetOption = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
Colon
Declaration
public const int Colon = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
Declaration
public const int Comment = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
Decimal
Declaration
public const int Decimal = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
decisionToDFA
Declaration
protected static Antlr4.Runtime.Dfa.DFA[] decisionToDFA
Field Value
| Type |
Description |
| Antlr4.Runtime.Dfa.DFA[] |
|
|
Improve this Doc
View Source
DefaultVocabulary
Declaration
public static readonly IVocabulary DefaultVocabulary
Field Value
| Type |
Description |
| IVocabulary |
|
|
Improve this Doc
View Source
GRW_As
Declaration
public const int GRW_As = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
GRW_Binary
Declaration
public const int GRW_Binary = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
GRW_Decimal
Declaration
public const int GRW_Decimal = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
GRW_Exclamation
Declaration
public const int GRW_Exclamation = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
GRW_Exists
Declaration
public const int GRW_Exists = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
GRW_Forall
Declaration
public const int GRW_Forall = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
GRW_Hexadecimal
Declaration
public const int GRW_Hexadecimal = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
GRW_Let
Declaration
public const int GRW_Let = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
GRW_Match
Declaration
public const int GRW_Match = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
GRW_Numeral
Declaration
public const int GRW_Numeral = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
GRW_Par
Declaration
public const int GRW_Par = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
GRW_String
Declaration
public const int GRW_String = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
GRW_Underscore
Declaration
public const int GRW_Underscore = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
HexDecimal
Declaration
public const int HexDecimal = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
modeNames
Declaration
public static string[] modeNames
Field Value
| Type |
Description |
| System.String[] |
|
|
Improve this Doc
View Source
Numeral
Declaration
public const int Numeral = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
ParClose
Declaration
public const int ParClose = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
ParOpen
Declaration
public const int ParOpen = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_AllStatistics
Declaration
public const int PK_AllStatistics = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_AssertionStackLevels
Declaration
public const int PK_AssertionStackLevels = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_Authors
Declaration
public const int PK_Authors = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_Category
Declaration
public const int PK_Category = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_Chainable
Declaration
public const int PK_Chainable = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_Definition
Declaration
public const int PK_Definition = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_DiagnosticOutputChannel
Declaration
public const int PK_DiagnosticOutputChannel = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_ErrorBehaviour
Declaration
public const int PK_ErrorBehaviour = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_Extension
Declaration
public const int PK_Extension = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_Funs
Declaration
public const int PK_Funs = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_FunsDescription
Declaration
public const int PK_FunsDescription = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_GlobalDeclarations
Declaration
public const int PK_GlobalDeclarations = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_InteractiveMode
Declaration
public const int PK_InteractiveMode = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_Language
Declaration
public const int PK_Language = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_LeftAssoc
Declaration
public const int PK_LeftAssoc = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_License
Declaration
public const int PK_License = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_Name
Declaration
public const int PK_Name = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_Named
Declaration
public const int PK_Named = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_Notes
Declaration
public const int PK_Notes = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_Pattern
Declaration
public const int PK_Pattern = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_PrintSuccess
Declaration
public const int PK_PrintSuccess = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_ProduceAssertions
Declaration
public const int PK_ProduceAssertions = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_ProduceAssignments
Declaration
public const int PK_ProduceAssignments = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_ProduceModels
Declaration
public const int PK_ProduceModels = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_ProduceProofs
Declaration
public const int PK_ProduceProofs = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_ProduceUnsatAssumptions
Declaration
public const int PK_ProduceUnsatAssumptions = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_ProduceUnsatCores
Declaration
public const int PK_ProduceUnsatCores = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_RandomSeed
Declaration
public const int PK_RandomSeed = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_ReasonUnknown
Declaration
public const int PK_ReasonUnknown = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_RegularOutputChannel
Declaration
public const int PK_RegularOutputChannel = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_ReproducibleResourceLimit
Declaration
public const int PK_ReproducibleResourceLimit = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_RightAssoc
Declaration
public const int PK_RightAssoc = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_SmtLibVersion
Declaration
public const int PK_SmtLibVersion = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_Sorts
Declaration
public const int PK_Sorts = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_SortsDescription
Declaration
public const int PK_SortsDescription = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_Source
Declaration
public const int PK_Source = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_Status
Declaration
public const int PK_Status = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_Theories
Declaration
public const int PK_Theories = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_Values
Declaration
public const int PK_Values = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_Verbosity
Declaration
public const int PK_Verbosity = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PK_Version
Declaration
public const int PK_Version = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PS_Bool
Declaration
public const int PS_Bool = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PS_ContinuedExecution
Declaration
public const int PS_ContinuedExecution = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PS_Error
Declaration
public const int PS_Error = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PS_False
Declaration
public const int PS_False = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
Declaration
public const int PS_ImmediateExit = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PS_Incomplete
Declaration
public const int PS_Incomplete = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PS_Logic
Declaration
public const int PS_Logic = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PS_Memout
Declaration
public const int PS_Memout = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PS_Not
Declaration
public const int PS_Not = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PS_Sat
Declaration
public const int PS_Sat = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PS_Success
Declaration
public const int PS_Success = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PS_Theory
Declaration
public const int PS_Theory = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PS_True
Declaration
public const int PS_True = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PS_Unknown
Declaration
public const int PS_Unknown = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PS_Unsat
Declaration
public const int PS_Unsat = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
PS_Unsupported
Declaration
public const int PS_Unsupported = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
QuotedSymbol
Declaration
public const int QuotedSymbol = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
RS_Model
Declaration
public const int RS_Model = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
ruleNames
Declaration
public static readonly string[] ruleNames
Field Value
| Type |
Description |
| System.String[] |
|
|
Improve this Doc
View Source
Semicolon
Declaration
public const int Semicolon = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
sharedContextCache
Declaration
protected static PredictionContextCache sharedContextCache
Field Value
| Type |
Description |
| PredictionContextCache |
|
|
Improve this Doc
View Source
String
Declaration
public const int String = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
UndefinedSymbol
Declaration
public const int UndefinedSymbol = null
Field Value
| Type |
Description |
| System.Int32 |
|
|
Improve this Doc
View Source
WS
Declaration
public const int WS = null
Field Value
| Type |
Description |
| System.Int32 |
|
Properties
|
Improve this Doc
View Source
ChannelNames
Declaration
public override string[] ChannelNames { get; }
Property Value
| Type |
Description |
| System.String[] |
|
|
Improve this Doc
View Source
GrammarFileName
Declaration
public override string GrammarFileName { get; }
Property Value
| Type |
Description |
| System.String |
|
|
Improve this Doc
View Source
ModeNames
Declaration
public override string[] ModeNames { get; }
Property Value
| Type |
Description |
| System.String[] |
|
|
Improve this Doc
View Source
RuleNames
Declaration
public override string[] RuleNames { get; }
Property Value
| Type |
Description |
| System.String[] |
|
|
Improve this Doc
View Source
SerializedAtn
Declaration
public override string SerializedAtn { get; }
Property Value
| Type |
Description |
| System.String |
|
|
Improve this Doc
View Source
Vocabulary
Declaration
public override IVocabulary Vocabulary { get; }
Property Value
| Type |
Description |
| IVocabulary |
|