/**
* 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