Class ltlParser.PropositionContext
Inheritance
System.Object
ltlParser.PropositionContext
Assembly: Ltl.dll
Syntax
public class PropositionContext : ParserRuleContext
Constructors
|
Improve this Doc
View Source
PropositionContext(ParserRuleContext, Int32)
Declaration
public PropositionContext(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
ATOMIC()
Declaration
public ITerminalNode ATOMIC()
Returns
| Type |
Description |
| ITerminalNode |
|
|
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
LTL_AND()
Declaration
public ITerminalNode LTL_AND()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
LTL_FINALLY()
Declaration
public ITerminalNode LTL_FINALLY()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
LTL_GLOBALLY()
Declaration
public ITerminalNode LTL_GLOBALLY()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
LTL_NEXT()
Declaration
public ITerminalNode LTL_NEXT()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
LTL_NOT()
Declaration
public ITerminalNode LTL_NOT()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
LTL_OR()
Declaration
public ITerminalNode LTL_OR()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
LTL_RELEASE()
Declaration
public ITerminalNode LTL_RELEASE()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
LTL_RIGHTWARDS_SINGLE_ARROW()
Declaration
public ITerminalNode LTL_RIGHTWARDS_SINGLE_ARROW()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
LTL_UNTIL()
Declaration
public ITerminalNode LTL_UNTIL()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
LTL_WEAK()
Declaration
public ITerminalNode LTL_WEAK()
Returns
| Type |
Description |
| ITerminalNode |
|
|
Improve this Doc
View Source
proposition()
Declaration
public ltlParser.PropositionContext[] proposition()
Returns
|
Improve this Doc
View Source
proposition(Int32)
Declaration
public ltlParser.PropositionContext proposition(int i)
Parameters
| Type |
Name |
Description |
| System.Int32 |
i |
|
Returns