Class SMTLIBv2Parser.PredefSymbolContext

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

Constructors

| Improve this Doc View Source

PredefSymbolContext(ParserRuleContext, Int32)

Declaration
public PredefSymbolContext(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_Bool()

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

PS_ContinuedExecution()

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

PS_Error()

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

PS_False()

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

PS_ImmediateExit()

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

PS_Incomplete()

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

PS_Logic()

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

PS_Memout()

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

PS_Not()

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

PS_Sat()

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

PS_Success()

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

PS_Theory()

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

PS_True()

Declaration
public ITerminalNode PS_True()
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
| Improve this Doc View Source

PS_Unsupported()

Declaration
public ITerminalNode PS_Unsupported()
Returns
Type Description
ITerminalNode