Class SMTLIBv2Parser.PredefKeywordContext
Inheritance
System.Object
SMTLIBv2Parser.PredefKeywordContext
Assembly: Smtlibv2.dll
Syntax
public class PredefKeywordContext : ParserRuleContext
Constructors
|
Improve this Doc
View Source
PredefKeywordContext(ParserRuleContext, Int32)
Declaration
public PredefKeywordContext(ParserRuleContext parent, int invokingState)
Parameters
| Type |
Name |
Description |
| ParserRuleContext |
parent |
|
| System.Int32 |
invokingState |
|
Properties
|
Improve this Doc
View Source
RuleIndex
Declaration
public override int RuleIndex { get; }
Property Value
| Type |
Description |
| System.Int32 |
|
Methods
|
Improve this Doc
View Source
Accept<TResult>(IParseTreeVisitor<TResult>)
Declaration
public override TResult Accept<TResult>(IParseTreeVisitor<TResult> visitor)
Parameters
| Type |
Name |
Description |
| IParseTreeVisitor<TResult> |
visitor |
|
Returns
Type Parameters
|
Improve this Doc
View Source
EnterRule(IParseTreeListener)
Declaration
public override void EnterRule(IParseTreeListener listener)
Parameters
| Type |
Name |
Description |
| IParseTreeListener |
listener |
|
|
Improve this Doc
View Source
ExitRule(IParseTreeListener)
Declaration
public override void ExitRule(IParseTreeListener listener)
Parameters
| Type |
Name |
Description |
| IParseTreeListener |
listener |
|
|
Improve this Doc
View Source
PK_AllStatistics()
Declaration
public ITerminalNode PK_AllStatistics()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_AssertionStackLevels()
Declaration
public ITerminalNode PK_AssertionStackLevels()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_Authors()
Declaration
public ITerminalNode PK_Authors()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_Category()
Declaration
public ITerminalNode PK_Category()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_Chainable()
Declaration
public ITerminalNode PK_Chainable()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_Definition()
Declaration
public ITerminalNode PK_Definition()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_DiagnosticOutputChannel()
Declaration
public ITerminalNode PK_DiagnosticOutputChannel()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_ErrorBehaviour()
Declaration
public ITerminalNode PK_ErrorBehaviour()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_Extension()
Declaration
public ITerminalNode PK_Extension()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_Funs()
Declaration
public ITerminalNode PK_Funs()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_FunsDescription()
Declaration
public ITerminalNode PK_FunsDescription()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_GlobalDeclarations()
Declaration
public ITerminalNode PK_GlobalDeclarations()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_InteractiveMode()
Declaration
public ITerminalNode PK_InteractiveMode()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_Language()
Declaration
public ITerminalNode PK_Language()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_LeftAssoc()
Declaration
public ITerminalNode PK_LeftAssoc()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_License()
Declaration
public ITerminalNode PK_License()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_Name()
Declaration
public ITerminalNode PK_Name()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_Named()
Declaration
public ITerminalNode PK_Named()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_Notes()
Declaration
public ITerminalNode PK_Notes()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_Pattern()
Declaration
public ITerminalNode PK_Pattern()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_PrintSuccess()
Declaration
public ITerminalNode PK_PrintSuccess()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_ProduceAssertions()
Declaration
public ITerminalNode PK_ProduceAssertions()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_ProduceAssignments()
Declaration
public ITerminalNode PK_ProduceAssignments()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_ProduceModels()
Declaration
public ITerminalNode PK_ProduceModels()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_ProduceProofs()
Declaration
public ITerminalNode PK_ProduceProofs()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_ProduceUnsatAssumptions()
Declaration
public ITerminalNode PK_ProduceUnsatAssumptions()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_ProduceUnsatCores()
Declaration
public ITerminalNode PK_ProduceUnsatCores()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_RandomSeed()
Declaration
public ITerminalNode PK_RandomSeed()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_ReasonUnknown()
Declaration
public ITerminalNode PK_ReasonUnknown()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_RegularOutputChannel()
Declaration
public ITerminalNode PK_RegularOutputChannel()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_ReproducibleResourceLimit()
Declaration
public ITerminalNode PK_ReproducibleResourceLimit()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_RightAssoc()
Declaration
public ITerminalNode PK_RightAssoc()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_SmtLibVersion()
Declaration
public ITerminalNode PK_SmtLibVersion()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_Sorts()
Declaration
public ITerminalNode PK_Sorts()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_SortsDescription()
Declaration
public ITerminalNode PK_SortsDescription()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_Source()
Declaration
public ITerminalNode PK_Source()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_Status()
Declaration
public ITerminalNode PK_Status()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_Theories()
Declaration
public ITerminalNode PK_Theories()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_Values()
Declaration
public ITerminalNode PK_Values()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_Verbosity()
Declaration
public ITerminalNode PK_Verbosity()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
PK_Version()
Declaration
public ITerminalNode PK_Version()
Returns
| Type |
Description |
| ITerminalNode |
|