mirror of
http://172.16.200.102/MOISE/Pattern-Instanciation-On-System-Engineering-Model.git
synced 2025-12-08 01:07:58 +01:00
19 lines
2.0 KiB
XML
19 lines
2.0 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="1">
|
||
<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.poPredicateSet>
|
||
<org.eventb.core.poPredicateSet name="ALLHYP" org.eventb.core.parentSet="/MODELS_INC_V9_VAR/cModel.bpo|org.eventb.core.poFile#cModel|org.eventb.core.poPredicateSet#ABSHYP" org.eventb.core.poStamp="4">
|
||
<org.eventb.core.poPredicate name="PRD0" 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="PRD1" 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="PRD2" 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="PRD3" 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="PRD4" 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.poPredicateSet>
|
||
</org.eventb.core.poFile>
|