mirror of
http://172.16.200.102/MOISE/Pattern-Instanciation-On-System-Engineering-Model.git
synced 2026-01-02 04:13:57 +01:00
10 lines
1.1 KiB
XML
10 lines
1.1 KiB
XML
<?xml version="1.0" encoding="UTF-8" standalone="no"?>
|
|
<org.eventb.core.psFile>
|
|
<org.eventb.core.psStatus name="f_acycl/WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="2" org.eventb.core.psManual="false"/>
|
|
<org.eventb.core.psStatus name="f_acycl/THM" org.eventb.core.confidence="1000" org.eventb.core.poStamp="2" org.eventb.core.psBroken="true" org.eventb.core.psManual="false"/>
|
|
<org.eventb.core.psStatus name="c_multiplicity_assign /WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="2" org.eventb.core.psManual="false"/>
|
|
<org.eventb.core.psStatus name="c_multiplicity_assign /THM" org.eventb.core.confidence="1000" org.eventb.core.poStamp="2" org.eventb.core.psBroken="true" org.eventb.core.psManual="false"/>
|
|
<org.eventb.core.psStatus name="to_unfold_c_var /WD" org.eventb.core.confidence="1000" org.eventb.core.poStamp="2" org.eventb.core.psManual="false"/>
|
|
<org.eventb.core.psStatus name="to_unfold_c_var /THM" org.eventb.core.confidence="1000" org.eventb.core.poStamp="2" org.eventb.core.psBroken="true" org.eventb.core.psManual="false"/>
|
|
</org.eventb.core.psFile>
|