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()