Class ProblemGrammarAccess.TheoryActionElements

java.lang.Object
org.eclipse.xtext.service.AbstractElementFinder
org.eclipse.xtext.service.AbstractElementFinder.AbstractParserRuleElementFinder
tools.refinery.language.services.ProblemGrammarAccess.TheoryActionElements
All Implemented Interfaces:
org.eclipse.xtext.IGrammarAccess.IAbstractRuleAccess, org.eclipse.xtext.IGrammarAccess.IParserRuleAccess
Enclosing class:
ProblemGrammarAccess

public class ProblemGrammarAccess.TheoryActionElements extends org.eclipse.xtext.service.AbstractElementFinder.AbstractParserRuleElementFinder
  • Constructor Details

    • TheoryActionElements

      public TheoryActionElements()
  • Method Details

    • getRule

      public org.eclipse.xtext.ParserRule getRule()
    • getGroup

      public org.eclipse.xtext.Group getGroup()
    • getAssertKeyword_0

      public org.eclipse.xtext.Keyword getAssertKeyword_0()
    • getTermAssignment_1

      public org.eclipse.xtext.Assignment getTermAssignment_1()
    • getTermExprParserRuleCall_1_0

      public org.eclipse.xtext.RuleCall getTermExprParserRuleCall_1_0()
    • getGroup_2

      public org.eclipse.xtext.Group getGroup_2()
    • getTheoryOverrideAssignment_2_0

      public org.eclipse.xtext.Assignment getTheoryOverrideAssignment_2_0()
    • getTheoryOverrideUsingKeyword_2_0_0

      public org.eclipse.xtext.Keyword getTheoryOverrideUsingKeyword_2_0_0()
    • getAlternatives_2_1

      public org.eclipse.xtext.Alternatives getAlternatives_2_1()
    • getTheoriesAssignment_2_1_0

      public org.eclipse.xtext.Assignment getTheoriesAssignment_2_1_0()
    • getTheoriesTheoryDeclarationCrossReference_2_1_0_0

      public org.eclipse.xtext.CrossReference getTheoriesTheoryDeclarationCrossReference_2_1_0_0()
    • getTheoriesTheoryDeclarationQualifiedNameParserRuleCall_2_1_0_0_1

      public org.eclipse.xtext.RuleCall getTheoriesTheoryDeclarationQualifiedNameParserRuleCall_2_1_0_0_1()
    • getGroup_2_1_1

      public org.eclipse.xtext.Group getGroup_2_1_1()
    • getLeftCurlyBracketKeyword_2_1_1_0

      public org.eclipse.xtext.Keyword getLeftCurlyBracketKeyword_2_1_1_0()
    • getGroup_2_1_1_1

      public org.eclipse.xtext.Group getGroup_2_1_1_1()
    • getTheoriesAssignment_2_1_1_1_0

      public org.eclipse.xtext.Assignment getTheoriesAssignment_2_1_1_1_0()
    • getTheoriesTheoryDeclarationCrossReference_2_1_1_1_0_0

      public org.eclipse.xtext.CrossReference getTheoriesTheoryDeclarationCrossReference_2_1_1_1_0_0()
    • getTheoriesTheoryDeclarationQualifiedNameParserRuleCall_2_1_1_1_0_0_1

      public org.eclipse.xtext.RuleCall getTheoriesTheoryDeclarationQualifiedNameParserRuleCall_2_1_1_1_0_0_1()
    • getGroup_2_1_1_1_1

      public org.eclipse.xtext.Group getGroup_2_1_1_1_1()
    • getCommaKeyword_2_1_1_1_1_0

      public org.eclipse.xtext.Keyword getCommaKeyword_2_1_1_1_1_0()
    • getTheoriesAssignment_2_1_1_1_1_1

      public org.eclipse.xtext.Assignment getTheoriesAssignment_2_1_1_1_1_1()
    • getTheoriesTheoryDeclarationCrossReference_2_1_1_1_1_1_0

      public org.eclipse.xtext.CrossReference getTheoriesTheoryDeclarationCrossReference_2_1_1_1_1_1_0()
    • getTheoriesTheoryDeclarationQualifiedNameParserRuleCall_2_1_1_1_1_1_0_1

      public org.eclipse.xtext.RuleCall getTheoriesTheoryDeclarationQualifiedNameParserRuleCall_2_1_1_1_1_1_0_1()
    • getRightCurlyBracketKeyword_2_1_1_2

      public org.eclipse.xtext.Keyword getRightCurlyBracketKeyword_2_1_1_2()