| /** |
| */ |
| package nestedcondition; |
| |
| import org.eclipse.emf.ecore.EFactory; |
| |
| /** |
| * <!-- begin-user-doc --> |
| * The <b>Factory</b> for the model. |
| * It provides a create method for each non-abstract class of the model. |
| * <!-- end-user-doc --> |
| * @see nestedcondition.NestedconditionPackage |
| * @generated |
| */ |
| public interface NestedconditionFactory extends EFactory { |
| /** |
| * The singleton instance of the factory. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @generated |
| */ |
| NestedconditionFactory eINSTANCE = nestedcondition.impl.NestedconditionFactoryImpl.init(); |
| |
| /** |
| * Returns a new object of class '<em>Nested Constraint</em>'. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @return a new object of class '<em>Nested Constraint</em>'. |
| * @generated |
| */ |
| NestedConstraint createNestedConstraint(); |
| |
| /** |
| * Returns a new object of class '<em>Variable</em>'. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @return a new object of class '<em>Variable</em>'. |
| * @generated |
| */ |
| Variable createVariable(); |
| |
| /** |
| * Returns a new object of class '<em>Quantified Condition</em>'. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @return a new object of class '<em>Quantified Condition</em>'. |
| * @generated |
| */ |
| QuantifiedCondition createQuantifiedCondition(); |
| |
| /** |
| * Returns a new object of class '<em>True</em>'. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @return a new object of class '<em>True</em>'. |
| * @generated |
| */ |
| True createTrue(); |
| |
| /** |
| * Returns a new object of class '<em>Formula</em>'. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @return a new object of class '<em>Formula</em>'. |
| * @generated |
| */ |
| Formula createFormula(); |
| |
| /** |
| * Returns a new object of class '<em>Morphism</em>'. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @return a new object of class '<em>Morphism</em>'. |
| * @generated |
| */ |
| Morphism createMorphism(); |
| |
| /** |
| * Returns a new object of class '<em>Node Mapping</em>'. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @return a new object of class '<em>Node Mapping</em>'. |
| * @generated |
| */ |
| NodeMapping createNodeMapping(); |
| |
| /** |
| * Returns a new object of class '<em>Edge Mapping</em>'. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @return a new object of class '<em>Edge Mapping</em>'. |
| * @generated |
| */ |
| EdgeMapping createEdgeMapping(); |
| |
| /** |
| * Returns the package supported by this factory. |
| * <!-- begin-user-doc --> |
| * <!-- end-user-doc --> |
| * @return the package supported by this factory. |
| * @generated |
| */ |
| NestedconditionPackage getNestedconditionPackage(); |
| |
| } //NestedconditionFactory |