mirror of
http://172.16.200.102/MOISE/Pattern-Instanciation-On-System-Engineering-Model.git
synced 2026-03-17 17:17:42 +01:00
19 lines
2.1 KiB
XML
19 lines
2.1 KiB
XML
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
||
<org.eventb.core.poFile org.eventb.core.poStamp="4">
|
||
<org.eventb.core.poPredicateSet name="ABSHYP" org.eventb.core.poStamp="4">
|
||
<org.eventb.core.poIdentifier name="Model" org.eventb.core.type="ℙ(Model)"/>
|
||
<org.eventb.core.poIdentifier name="Property" org.eventb.core.type="ℙ(Property)"/>
|
||
<org.eventb.core.poIdentifier name="Inst" org.eventb.core.type="Model"/>
|
||
<org.eventb.core.poIdentifier name="Mdl" org.eventb.core.type="Model"/>
|
||
<org.eventb.core.poIdentifier name="Pat" org.eventb.core.type="Model"/>
|
||
<org.eventb.core.poIdentifier name="Pattern" org.eventb.core.type="ℙ(Model)"/>
|
||
<org.eventb.core.poPredicate name="Propertz" org.eventb.core.predicate="Pattern⊆Model" org.eventb.core.source="/MODELS_INC_V9_VAR/cModel.buc|org.eventb.core.contextFile#cModel|org.eventb.core.axiom#_h20wcfqkEeectLZKwQfI0A"/>
|
||
<org.eventb.core.poPredicate name="Propert{" org.eventb.core.predicate="Mdl∈Model ∖ Pattern" org.eventb.core.source="/MODELS_INC_V9_VAR/cModel.buc|org.eventb.core.contextFile#cModel|org.eventb.core.axiom#_h20wcvqkEeectLZKwQfI0A"/>
|
||
<org.eventb.core.poPredicate name="Propert|" org.eventb.core.predicate="Pat∈Pattern" org.eventb.core.source="/MODELS_INC_V9_VAR/cModel.buc|org.eventb.core.contextFile#cModel|org.eventb.core.axiom#_h20wc_qkEeectLZKwQfI0A"/>
|
||
<org.eventb.core.poPredicate name="Propert}" org.eventb.core.predicate="Inst∈Model ∖ Pattern" org.eventb.core.source="/MODELS_INC_V9_VAR/cModel.buc|org.eventb.core.contextFile#cModel|org.eventb.core.axiom#_fxjdEQKnEeiAPf1wPUl3Gw"/>
|
||
<org.eventb.core.poPredicate name="Propert~" org.eventb.core.predicate="Inst≠Mdl" org.eventb.core.source="/MODELS_INC_V9_VAR/cModel.buc|org.eventb.core.contextFile#cModel|org.eventb.core.axiom#_DGgrYAUMEei9ocE08JsPSw"/>
|
||
<org.eventb.core.poIdentifier name="Component" org.eventb.core.type="ℙ(Component)"/>
|
||
</org.eventb.core.poPredicateSet>
|
||
<org.eventb.core.poPredicateSet name="ALLHYP" org.eventb.core.parentSet="/MODELS_INC_V9_VAR/cComponent.bpo|org.eventb.core.poFile#cComponent|org.eventb.core.poPredicateSet#ABSHYP" org.eventb.core.poStamp="4"/>
|
||
</org.eventb.core.poFile>
|