Class SMTLIBv2Parser.Check_sat_responseContext

Inheritance

System.Object

SMTLIBv2Parser.Check_sat_responseContext

Namespace: GCore.Antlr.Grammers.Smtlibv2

Assembly: Smtlibv2.dll

Syntax

public class Check_sat_responseContext : ParserRuleContext

Constructors

| Improve this Doc View Source

Check_sat_responseContext(ParserRuleContext, Int32)

Declaration

public Check_sat_responseContext(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

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

PS_Sat()

Declaration

public ITerminalNode PS_Sat()

Returns

Type	Description
ITerminalNode

| Improve this Doc View Source

PS_Unknown()

Declaration

public ITerminalNode PS_Unknown()

Returns

Type	Description
ITerminalNode

| Improve this Doc View Source

PS_Unsat()

Declaration

public ITerminalNode PS_Unsat()

Returns

Type	Description
ITerminalNode