/**
* Copyright (c) Kestrel Technology LLC
*/
package net.certware.argument.gsz;
import net.certware.argument.arm.InformationElement;
/**
* <!-- begin-user-doc -->
* A representation of the model object '<em><b>Assumption</b></em>'.
* <!-- end-user-doc -->
*
*
* @see net.certware.argument.gsz.GszPackage#getAssumption()
* @model annotation="gmf.node label='identifier' label.pattern='Assumption {0}' figure='rounded' label.icon='true' label.placement='internal' label.readonly='false' border.color='0,0,0' border.width='2' border.style='solid' size='100,60' color='250,250,250' tool.name='Assumption Node' tool.description='Creates an assumption node on the diagram canvas' tool.small.path='icons/obj16/rounded-rectangle.png' tool.small.bundle='net.certware.core.ui' tool.large.path='icons/obj16/rounded-rectangle.png' tool.large.bundle='net.certware.core.ui'"
* @generated
*/
public interface Assumption extends InformationElement {
} // Assumption