/**
* generated by Xtext 2.18.0.M3
*/
package org.eclipse.viatra.solver.language.solverLanguage;
import org.eclipse.emf.ecore.EObject;
/**
*
* A representation of the model object 'Multiplicity Definition'.
*
*
*
* The following features are supported:
*
*
* - {@link org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition#getLower Lower}
* - {@link org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition#getUpper Upper}
* - {@link org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition#isUnlimitedUpper Unlimited Upper}
*
*
* @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getMultiplicityDefinition()
* @model
* @generated
*/
public interface MultiplicityDefinition extends EObject
{
/**
* Returns the value of the 'Lower' attribute.
*
*
* @return the value of the 'Lower' attribute.
* @see #setLower(int)
* @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getMultiplicityDefinition_Lower()
* @model
* @generated
*/
int getLower();
/**
* Sets the value of the '{@link org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition#getLower Lower}' attribute.
*
*
* @param value the new value of the 'Lower' attribute.
* @see #getLower()
* @generated
*/
void setLower(int value);
/**
* Returns the value of the 'Upper' attribute.
*
*
* @return the value of the 'Upper' attribute.
* @see #setUpper(int)
* @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getMultiplicityDefinition_Upper()
* @model
* @generated
*/
int getUpper();
/**
* Sets the value of the '{@link org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition#getUpper Upper}' attribute.
*
*
* @param value the new value of the 'Upper' attribute.
* @see #getUpper()
* @generated
*/
void setUpper(int value);
/**
* Returns the value of the 'Unlimited Upper' attribute.
*
*
* @return the value of the 'Unlimited Upper' attribute.
* @see #setUnlimitedUpper(boolean)
* @see org.eclipse.viatra.solver.language.solverLanguage.SolverLanguagePackage#getMultiplicityDefinition_UnlimitedUpper()
* @model
* @generated
*/
boolean isUnlimitedUpper();
/**
* Sets the value of the '{@link org.eclipse.viatra.solver.language.solverLanguage.MultiplicityDefinition#isUnlimitedUpper Unlimited Upper}' attribute.
*
*
* @param value the new value of the 'Unlimited Upper' attribute.
* @see #isUnlimitedUpper()
* @generated
*/
void setUnlimitedUpper(boolean value);
} // MultiplicityDefinition