/**
*/
package org.eclipse.viatra.solver.language.model.problem;
import org.eclipse.emf.common.util.EList;
import org.eclipse.emf.ecore.EObject;
/**
*
* A representation of the model object 'Existential Quantifier'.
*
*
*
* The following features are supported:
*
*
* - {@link org.eclipse.viatra.solver.language.model.problem.ExistentialQuantifier#getImplicitVariables Implicit Variables}
*
*
* @see org.eclipse.viatra.solver.language.model.problem.ProblemPackage#getExistentialQuantifier()
* @model interface="true" abstract="true"
* @generated
*/
public interface ExistentialQuantifier extends EObject {
/**
* Returns the value of the 'Implicit Variables' containment reference list.
* The list contents are of type {@link org.eclipse.viatra.solver.language.model.problem.ImplicitVariable}.
*
*
* @return the value of the 'Implicit Variables' containment reference list.
* @see org.eclipse.viatra.solver.language.model.problem.ProblemPackage#getExistentialQuantifier_ImplicitVariables()
* @model containment="true"
* @generated
*/
EList getImplicitVariables();
} // ExistentialQuantifier