Class SMTLIBv2Parser.Theory_attributeContext

Inheritance
System.Object
SMTLIBv2Parser.Theory_attributeContext
Namespace: GCore.Antlr.Grammers.Smtlibv2
Assembly: Smtlibv2.dll
Syntax
public class Theory_attributeContext : ParserRuleContext

Constructors

| Improve this Doc View Source

Theory_attributeContext(ParserRuleContext, Int32)

Declaration
public Theory_attributeContext(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 Description
TResult
Type Parameters
Name Description
TResult
| Improve this Doc View Source

attribute()

Declaration
public SMTLIBv2Parser.AttributeContext attribute()
Returns
Type Description
SMTLIBv2Parser.AttributeContext
| 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

par_fun_symbol_decl()

Declaration
public SMTLIBv2Parser.Par_fun_symbol_declContext[] par_fun_symbol_decl()
Returns
Type Description
SMTLIBv2Parser.Par_fun_symbol_declContext[]
| Improve this Doc View Source

par_fun_symbol_decl(Int32)

Declaration
public SMTLIBv2Parser.Par_fun_symbol_declContext par_fun_symbol_decl(int i)
Parameters
Type Name Description
System.Int32 i
Returns
Type Description
SMTLIBv2Parser.Par_fun_symbol_declContext
| Improve this Doc View Source

ParClose()

Declaration
public ITerminalNode ParClose()
Returns
Type Description
ITerminalNode
| Improve this Doc View Source

ParOpen()

Declaration
public ITerminalNode ParOpen()
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_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_Notes()

Declaration
public ITerminalNode PK_Notes()
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_Values()

Declaration
public ITerminalNode PK_Values()
Returns
Type Description
ITerminalNode
| Improve this Doc View Source

sort_symbol_decl()

Declaration
public SMTLIBv2Parser.Sort_symbol_declContext[] sort_symbol_decl()
Returns
Type Description
SMTLIBv2Parser.Sort_symbol_declContext[]
| Improve this Doc View Source

sort_symbol_decl(Int32)

Declaration
public SMTLIBv2Parser.Sort_symbol_declContext sort_symbol_decl(int i)
Parameters
Type Name Description
System.Int32 i
Returns
Type Description
SMTLIBv2Parser.Sort_symbol_declContext
| Improve this Doc View Source

string()

Declaration
public SMTLIBv2Parser.StringContext string()
Returns
Type Description
SMTLIBv2Parser.StringContext