Interface ProblemFactory

All Superinterfaces:
org.eclipse.emf.ecore.EFactory, org.eclipse.emf.ecore.EModelElement, org.eclipse.emf.ecore.EObject, org.eclipse.emf.common.notify.Notifier
All Known Implementing Classes:
ProblemFactoryImpl

public interface ProblemFactory extends org.eclipse.emf.ecore.EFactory
The Factory for the model. It provides a create method for each non-abstract class of the model.
See Also:
  • Field Details

    • eINSTANCE

      static final ProblemFactory eINSTANCE
      The singleton instance of the factory.
  • Method Details

    • createProblem

      Problem createProblem()
      Returns a new object of class 'Problem'.
      Returns:
      a new object of class 'Problem'.
    • createClassDeclaration

      ClassDeclaration createClassDeclaration()
      Returns a new object of class 'Class Declaration'.
      Returns:
      a new object of class 'Class Declaration'.
    • createReferenceDeclaration

      ReferenceDeclaration createReferenceDeclaration()
      Returns a new object of class 'Reference Declaration'.
      Returns:
      a new object of class 'Reference Declaration'.
    • createPredicateDefinition

      PredicateDefinition createPredicateDefinition()
      Returns a new object of class 'Predicate Definition'.
      Returns:
      a new object of class 'Predicate Definition'.
    • createParameter

      Parameter createParameter()
      Returns a new object of class 'Parameter'.
      Returns:
      a new object of class 'Parameter'.
    • createAtom

      Atom createAtom()
      Returns a new object of class 'Atom'.
      Returns:
      a new object of class 'Atom'.
    • createImplicitVariable

      ImplicitVariable createImplicitVariable()
      Returns a new object of class 'Implicit Variable'.
      Returns:
      a new object of class 'Implicit Variable'.
    • createNode

      Node createNode()
      Returns a new object of class 'Node'.
      Returns:
      a new object of class 'Node'.
    • createScopeDeclaration

      ScopeDeclaration createScopeDeclaration()
      Returns a new object of class 'Scope Declaration'.
      Returns:
      a new object of class 'Scope Declaration'.
    • createTypeScope

      TypeScope createTypeScope()
      Returns a new object of class 'Type Scope'.
      Returns:
      a new object of class 'Type Scope'.
    • createRangeMultiplicity

      RangeMultiplicity createRangeMultiplicity()
      Returns a new object of class 'Range Multiplicity'.
      Returns:
      a new object of class 'Range Multiplicity'.
    • createExactMultiplicity

      ExactMultiplicity createExactMultiplicity()
      Returns a new object of class 'Exact Multiplicity'.
      Returns:
      a new object of class 'Exact Multiplicity'.
    • createUnboundedMultiplicity

      UnboundedMultiplicity createUnboundedMultiplicity()
      Returns a new object of class 'Unbounded Multiplicity'.
      Returns:
      a new object of class 'Unbounded Multiplicity'.
    • createEnumDeclaration

      EnumDeclaration createEnumDeclaration()
      Returns a new object of class 'Enum Declaration'.
      Returns:
      a new object of class 'Enum Declaration'.
    • createIntConstant

      IntConstant createIntConstant()
      Returns a new object of class 'Int Constant'.
      Returns:
      a new object of class 'Int Constant'.
    • createRealConstant

      RealConstant createRealConstant()
      Returns a new object of class 'Real Constant'.
      Returns:
      a new object of class 'Real Constant'.
    • createStringConstant

      StringConstant createStringConstant()
      Returns a new object of class 'String Constant'.
      Returns:
      a new object of class 'String Constant'.
    • createNodeAssertionArgument

      NodeAssertionArgument createNodeAssertionArgument()
      Returns a new object of class 'Node Assertion Argument'.
      Returns:
      a new object of class 'Node Assertion Argument'.
    • createNodeDeclaration

      NodeDeclaration createNodeDeclaration()
      Returns a new object of class 'Node Declaration'.
      Returns:
      a new object of class 'Node Declaration'.
    • createWildcardAssertionArgument

      WildcardAssertionArgument createWildcardAssertionArgument()
      Returns a new object of class 'Wildcard Assertion Argument'.
      Returns:
      a new object of class 'Wildcard Assertion Argument'.
    • createRuleDefinition

      RuleDefinition createRuleDefinition()
      Returns a new object of class 'Rule Definition'.
      Returns:
      a new object of class 'Rule Definition'.
    • createConsequent

      Consequent createConsequent()
      Returns a new object of class 'Consequent'.
      Returns:
      a new object of class 'Consequent'.
    • createAssertionAction

      AssertionAction createAssertionAction()
      Returns a new object of class 'Assertion Action'.
      Returns:
      a new object of class 'Assertion Action'.
    • createVariableOrNodeExpr

      VariableOrNodeExpr createVariableOrNodeExpr()
      Returns a new object of class 'Variable Or Node Expr'.
      Returns:
      a new object of class 'Variable Or Node Expr'.
    • createArithmeticUnaryExpr

      ArithmeticUnaryExpr createArithmeticUnaryExpr()
      Returns a new object of class 'Arithmetic Unary Expr'.
      Returns:
      a new object of class 'Arithmetic Unary Expr'.
    • createAggregationExpr

      AggregationExpr createAggregationExpr()
      Returns a new object of class 'Aggregation Expr'.
      Returns:
      a new object of class 'Aggregation Expr'.
    • createComparisonExpr

      ComparisonExpr createComparisonExpr()
      Returns a new object of class 'Comparison Expr'.
      Returns:
      a new object of class 'Comparison Expr'.
    • createFunctionDefinition

      FunctionDefinition createFunctionDefinition()
      Returns a new object of class 'Function Definition'.
      Returns:
      a new object of class 'Function Definition'.
    • createConjunction

      Conjunction createConjunction()
      Returns a new object of class 'Conjunction'.
      Returns:
      a new object of class 'Conjunction'.
    • createMatch

      Match createMatch()
      Returns a new object of class 'Match'.
      Returns:
      a new object of class 'Match'.
    • createArithmeticBinaryExpr

      ArithmeticBinaryExpr createArithmeticBinaryExpr()
      Returns a new object of class 'Arithmetic Binary Expr'.
      Returns:
      a new object of class 'Arithmetic Binary Expr'.
    • createNegationExpr

      NegationExpr createNegationExpr()
      Returns a new object of class 'Negation Expr'.
      Returns:
      a new object of class 'Negation Expr'.
    • createCountExpr

      CountExpr createCountExpr()
      Returns a new object of class 'Count Expr'.
      Returns:
      a new object of class 'Count Expr'.
    • createRangeExpr

      RangeExpr createRangeExpr()
      Returns a new object of class 'Range Expr'.
      Returns:
      a new object of class 'Range Expr'.
    • createLogicConstant

      LogicConstant createLogicConstant()
      Returns a new object of class 'Logic Constant'.
      Returns:
      a new object of class 'Logic Constant'.
    • createImportStatement

      ImportStatement createImportStatement()
      Returns a new object of class 'Import Statement'.
      Returns:
      a new object of class 'Import Statement'.
    • createDatatypeDeclaration

      DatatypeDeclaration createDatatypeDeclaration()
      Returns a new object of class 'Datatype Declaration'.
      Returns:
      a new object of class 'Datatype Declaration'.
    • createLatticeBinaryExpr

      LatticeBinaryExpr createLatticeBinaryExpr()
      Returns a new object of class 'Lattice Binary Expr'.
      Returns:
      a new object of class 'Lattice Binary Expr'.
    • createCastExpr

      CastExpr createCastExpr()
      Returns a new object of class 'Cast Expr'.
      Returns:
      a new object of class 'Cast Expr'.
    • createAssignmentExpr

      AssignmentExpr createAssignmentExpr()
      Returns a new object of class 'Assignment Expr'.
      Returns:
      a new object of class 'Assignment Expr'.
    • createInfiniteConstant

      InfiniteConstant createInfiniteConstant()
      Returns a new object of class 'Infinite Constant'.
      Returns:
      a new object of class 'Infinite Constant'.
    • createAggregatorDeclaration

      AggregatorDeclaration createAggregatorDeclaration()
      Returns a new object of class 'Aggregator Declaration'.
      Returns:
      a new object of class 'Aggregator Declaration'.
    • createModalExpr

      ModalExpr createModalExpr()
      Returns a new object of class 'Modal Expr'.
      Returns:
      a new object of class 'Modal Expr'.
    • createAssertion

      Assertion createAssertion()
      Returns a new object of class 'Assertion'.
      Returns:
      a new object of class 'Assertion'.
    • getProblemPackage

      ProblemPackage getProblemPackage()
      Returns the package supported by this factory.
      Returns:
      the package supported by this factory.