You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
72 lines
3.9 KiB
72 lines
3.9 KiB
6 years ago
|
<?xml version="1.0" encoding="UTF-8"?>
|
||
|
|
<context:Context xmi:version="2.0" xmlns:xmi="http://www.omg.org/XMI" xmlns:context="http://emf.eventb.org/models/core/context/2014" name="cLink">
|
||
|
|
<annotations source="http:///org/eventb/core/RodinInternalAnnotations">
|
||
|
|
<details key="configuration" value="org.eventb.core.fwd;de.prob.symbolic.ctxBase;de.prob.units.mchBase;org.eventb.codegen.ui.cgConfig"/>
|
||
|
|
<details key="name" value="cLink"/>
|
||
|
|
</annotations>
|
||
|
|
<annotations source="http:///org/eventb/core/RodinReferenceNamesAnnotations">
|
||
|
|
<details key="extends cPort" value="'"/>
|
||
|
|
</annotations>
|
||
|
|
<attributes key="org.eventb.texttools.text_lastmodified">
|
||
|
|
<value type="Long" value="ACED00057372000E6A6176612E6C616E672E4C6F6E673B8BE490CC8F23DF0200014A000576616C7565787200106A6176612E6C616E672E4E756D62657286AC951D0B94E08B020000787000000160FA6BAD63"/>
|
||
|
|
</attributes>
|
||
|
|
<attributes key="org.eventb.texttools.text_representation">
|
||
|
|
<value type="String" value="ACED00057400EA636F6E7465787420634C696E6B20657874656E64732063506F72740A73657473204C696E6B0A636F6E7374616E74730A094C4B696E64205472616E73706F7365204964656E7469747920536869667420466972737420526F746174650A0A6178696F6D730A09406C696E6B5F6B20706172746974696F6E284C696E6B2C205472616E73706F73652C204964656E746974792C2053686966742C2046697273742C20526F74617465290A09404C4B696E64204C4B696E64203D207B5472616E73706F73652C204964656E746974792C2053686966742C2046697273742C20526F746174657D0A0A656E640A"/>
|
||
|
|
</attributes>
|
||
|
|
<extends href="../cPort.buc#http://emf.eventb.org/models/core/context/2014::Context::cPort"/>
|
||
|
|
<sets name="Link">
|
||
|
|
<annotations source="http:///org/eventb/core/RodinInternalAnnotations">
|
||
|
|
<details key="name" value="_IabHcPoIEeeOzddrJxUeNA"/>
|
||
|
|
<details key="identifier" value="Link"/>
|
||
|
|
</annotations>
|
||
|
|
</sets>
|
||
|
|
<constants name="LKind">
|
||
|
|
<annotations source="http:///org/eventb/core/RodinInternalAnnotations">
|
||
|
|
<details key="name" value="_u1ZfsPgzEeeeS5KQUtrGlw"/>
|
||
|
|
<details key="identifier" value="LKind"/>
|
||
|
|
</annotations>
|
||
|
|
</constants>
|
||
|
|
<constants name="Transpose">
|
||
|
|
<annotations source="http:///org/eventb/core/RodinInternalAnnotations">
|
||
|
|
<details key="name" value="_WzjhMPg8EeeeS5KQUtrGlw"/>
|
||
|
|
<details key="identifier" value="Transpose"/>
|
||
|
|
</annotations>
|
||
|
|
</constants>
|
||
|
|
<constants name="Identity">
|
||
|
|
<annotations source="http:///org/eventb/core/RodinInternalAnnotations">
|
||
|
|
<details key="name" value="_WzjhMfg8EeeeS5KQUtrGlw"/>
|
||
|
|
<details key="identifier" value="Identity"/>
|
||
|
|
</annotations>
|
||
|
|
</constants>
|
||
|
|
<constants name="Shift">
|
||
|
|
<annotations source="http:///org/eventb/core/RodinInternalAnnotations">
|
||
|
|
<details key="name" value="_WzjhMvg8EeeeS5KQUtrGlw"/>
|
||
|
|
<details key="identifier" value="Shift"/>
|
||
|
|
</annotations>
|
||
|
|
</constants>
|
||
|
|
<constants name="First">
|
||
|
|
<annotations source="http:///org/eventb/core/RodinInternalAnnotations">
|
||
|
|
<details key="name" value="_WzjhM_g8EeeeS5KQUtrGlw"/>
|
||
|
|
<details key="identifier" value="First"/>
|
||
|
|
</annotations>
|
||
|
|
</constants>
|
||
|
|
<constants name="Rotate">
|
||
|
|
<annotations source="http:///org/eventb/core/RodinInternalAnnotations">
|
||
|
|
<details key="name" value="_WzjhNPg8EeeeS5KQUtrGlw"/>
|
||
|
|
<details key="identifier" value="Rotate"/>
|
||
|
|
</annotations>
|
||
|
|
</constants>
|
||
|
|
<axioms name="link_k" predicate="partition(Link, Transpose, Identity, Shift, First, Rotate)">
|
||
|
|
<annotations source="http:///org/eventb/core/RodinInternalAnnotations">
|
||
|
|
<details key="name" value="_u1ZfsfgzEeeeS5KQUtrGlw"/>
|
||
|
|
<details key="label" value="link_k"/>
|
||
|
|
</annotations>
|
||
|
|
</axioms>
|
||
|
|
<axioms name="LKind" predicate="LKind = {Transpose, Identity, Shift, First, Rotate}">
|
||
|
|
<annotations source="http:///org/eventb/core/RodinInternalAnnotations">
|
||
|
|
<details key="name" value="_u1ZfsvgzEeeeS5KQUtrGlw"/>
|
||
|
|
<details key="label" value="LKind"/>
|
||
|
|
</annotations>
|
||
|
|
</axioms>
|
||
|
|
</context:Context>
|