/** * generated by Xtext 2.18.0.M3 */ package org.eclipse.viatra.solver.language.solverLanguage; import org.eclipse.emf.ecore.EFactory; /** * * The Factory for the model. * It provides a create method for each non-abstract class of the model. * * @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage * @generated */ public interface SolverLanguageFactory extends EFactory { /** * The singleton instance of the factory. * * * @generated */ SolverLanguageFactory eINSTANCE = org.eclipse.viatra.solver.language.solverLanguage.impl.SolverLanguageFactoryImpl.init(); /** * Returns a new object of class 'Problem'. * * * @return a new object of class 'Problem'. * @generated */ Problem createProblem(); /** * Returns a new object of class 'Statement'. * * * @return a new object of class 'Statement'. * @generated */ Statement createStatement(); /** * Returns a new object of class 'Boolean Value'. * * * @return a new object of class 'Boolean Value'. * @generated */ BooleanValue createBooleanValue(); /** * Returns a new object of class 'Truth Value'. * * * @return a new object of class 'Truth Value'. * @generated */ TruthValue createTruthValue(); /** * Returns a new object of class 'Interpretation'. * * * @return a new object of class 'Interpretation'. * @generated */ Interpretation createInterpretation(); /** * Returns a new object of class 'Basic Interpretation'. * * * @return a new object of class 'Basic Interpretation'. * @generated */ BasicInterpretation createBasicInterpretation(); /** * Returns a new object of class 'Symbol'. * * * @return a new object of class 'Symbol'. * @generated */ Symbol createSymbol(); /** * Returns a new object of class 'Model Symbol'. * * * @return a new object of class 'Model Symbol'. * @generated */ ModelSymbol createModelSymbol(); /** * Returns a new object of class 'Partiality Symbol'. * * * @return a new object of class 'Partiality Symbol'. * @generated */ PartialitySymbol createPartialitySymbol(); /** * Returns a new object of class 'Exist Symbol'. * * * @return a new object of class 'Exist Symbol'. * @generated */ ExistSymbol createExistSymbol(); /** * Returns a new object of class 'Equals Symbol'. * * * @return a new object of class 'Equals Symbol'. * @generated */ EqualsSymbol createEqualsSymbol(); /** * Returns a new object of class 'Data Symbol'. * * * @return a new object of class 'Data Symbol'. * @generated */ DataSymbol createDataSymbol(); /** * Returns a new object of class 'Boolean Symbol'. * * * @return a new object of class 'Boolean Symbol'. * @generated */ BooleanSymbol createBooleanSymbol(); /** * Returns a new object of class 'Integer Symbol'. * * * @return a new object of class 'Integer Symbol'. * @generated */ IntegerSymbol createIntegerSymbol(); /** * Returns a new object of class 'Real Symbol'. * * * @return a new object of class 'Real Symbol'. * @generated */ RealSymbol createRealSymbol(); /** * Returns a new object of class 'String Symbol'. * * * @return a new object of class 'String Symbol'. * @generated */ StringSymbol createStringSymbol(); /** * Returns a new object of class 'Complex Object'. * * * @return a new object of class 'Complex Object'. * @generated */ ComplexObject createComplexObject(); /** * Returns a new object of class 'Object'. * * * @return a new object of class 'Object'. * @generated */ Object createObject(); /** * Returns a new object of class 'Named Object'. * * * @return a new object of class 'Named Object'. * @generated */ NamedObject createNamedObject(); /** * Returns a new object of class 'Unnamed Object'. * * * @return a new object of class 'Unnamed Object'. * @generated */ UnnamedObject createUnnamedObject(); /** * Returns a new object of class 'Data Object'. * * * @return a new object of class 'Data Object'. * @generated */ DataObject createDataObject(); /** * Returns a new object of class 'Boolean Object'. * * * @return a new object of class 'Boolean Object'. * @generated */ BooleanObject createBooleanObject(); /** * Returns a new object of class 'Int Object'. * * * @return a new object of class 'Int Object'. * @generated */ IntObject createIntObject(); /** * Returns a new object of class 'Real Object'. * * * @return a new object of class 'Real Object'. * @generated */ RealObject createRealObject(); /** * Returns a new object of class 'String Object'. * * * @return a new object of class 'String Object'. * @generated */ StringObject createStringObject(); /** * Returns a new object of class 'Predicate'. * * * @return a new object of class 'Predicate'. * @generated */ Predicate createPredicate(); /** * Returns a new object of class 'Predicate Symbol'. * * * @return a new object of class 'Predicate Symbol'. * @generated */ PredicateSymbol createPredicateSymbol(); /** * Returns a new object of class 'Error Predicate'. * * * @return a new object of class 'Error Predicate'. * @generated */ ErrorPredicate createErrorPredicate(); /** * Returns a new object of class 'Parameter'. * * * @return a new object of class 'Parameter'. * @generated */ Parameter createParameter(); /** * Returns a new object of class 'Pattern Body'. * * * @return a new object of class 'Pattern Body'. * @generated */ PatternBody createPatternBody(); /** * Returns a new object of class 'Polarity'. * * * @return a new object of class 'Polarity'. * @generated */ Polarity createPolarity(); /** * Returns a new object of class 'Constraint'. * * * @return a new object of class 'Constraint'. * @generated */ Constraint createConstraint(); /** * Returns a new object of class 'Closure Type'. * * * @return a new object of class 'Closure Type'. * @generated */ ClosureType createClosureType(); /** * Returns a new object of class 'Literal'. * * * @return a new object of class 'Literal'. * @generated */ Literal createLiteral(); /** * Returns a new object of class 'Variable'. * * * @return a new object of class 'Variable'. * @generated */ Variable createVariable(); /** * Returns a new object of class 'All Instances'. * * * @return a new object of class 'All Instances'. * @generated */ AllInstances createAllInstances(); /** * Returns a new object of class 'All Objects'. * * * @return a new object of class 'All Objects'. * @generated */ AllObjects createAllObjects(); /** * Returns a new object of class 'Default Interpretation'. * * * @return a new object of class 'Default Interpretation'. * @generated */ DefaultInterpretation createDefaultInterpretation(); /** * Returns a new object of class 'CD Interpretation'. * * * @return a new object of class 'CD Interpretation'. * @generated */ CDInterpretation createCDInterpretation(); /** * Returns a new object of class 'Class Interpretation'. * * * @return a new object of class 'Class Interpretation'. * @generated */ ClassInterpretation createClassInterpretation(); /** * Returns a new object of class 'Enum Interpretation'. * * * @return a new object of class 'Enum Interpretation'. * @generated */ EnumInterpretation createEnumInterpretation(); /** * Returns a new object of class 'Field Relation Interpretation'. * * * @return a new object of class 'Field Relation Interpretation'. * @generated */ FieldRelationInterpretation createFieldRelationInterpretation(); /** * Returns a new object of class 'Global Relation Interpretation'. * * * @return a new object of class 'Global Relation Interpretation'. * @generated */ GlobalRelationInterpretation createGlobalRelationInterpretation(); /** * Returns a new object of class 'Multiplicity Definition'. * * * @return a new object of class 'Multiplicity Definition'. * @generated */ MultiplicityDefinition createMultiplicityDefinition(); /** * Returns a new object of class 'Boolean True'. * * * @return a new object of class 'Boolean True'. * @generated */ BooleanTrue createBooleanTrue(); /** * Returns a new object of class 'Boolean False'. * * * @return a new object of class 'Boolean False'. * @generated */ BooleanFalse createBooleanFalse(); /** * Returns a new object of class 'True'. * * * @return a new object of class 'True'. * @generated */ True createTrue(); /** * Returns a new object of class 'False'. * * * @return a new object of class 'False'. * @generated */ False createFalse(); /** * Returns a new object of class 'Unknown'. * * * @return a new object of class 'Unknown'. * @generated */ Unknown createUnknown(); /** * Returns a new object of class 'Error'. * * * @return a new object of class 'Error'. * @generated */ Error createError(); /** * Returns a new object of class 'Positive'. * * * @return a new object of class 'Positive'. * @generated */ Positive createPositive(); /** * Returns a new object of class 'Negative'. * * * @return a new object of class 'Negative'. * @generated */ Negative createNegative(); /** * Returns a new object of class 'Reflexive Closure'. * * * @return a new object of class 'Reflexive Closure'. * @generated */ ReflexiveClosure createReflexiveClosure(); /** * Returns a new object of class 'Irreflexive Closure'. * * * @return a new object of class 'Irreflexive Closure'. * @generated */ IrreflexiveClosure createIrreflexiveClosure(); /** * Returns the package supported by this factory. * * * @return the package supported by this factory. * @generated */ SolverLanguagePackage getSolverLanguagePackage(); } //SolverLanguageFactory