ParamView.xml revision ea8e98e298f33f9362293f392c8fb192722b8904
<?xml version='1.0' ?>
<DGraph filename="ParamView" libname="ParamView" nextlinkid="18">
<DGNode name="s__IU1" logic="CASL" refname="s" relxpath="/Imports/Union/Spec[1]">
<Declarations>
<Symbol range="ParamView:3.29">sort i</Symbol>
</Declarations>
</DGNode>
<DGNode name="s__PU1" logic="CASL" refname="s" relxpath="/Parameters/Union/Spec[1]">
<Declarations>
<Symbol range="ParamView:3.14">sort p</Symbol>
</Declarations>
</DGNode>
<DGNode name="s" logic="CASL" refname="s" relxpath="/">
<Declarations>
<Symbol range="ParamView:3.39">sort s</Symbol>
</Declarations>
</DGNode>
<DGNode name="v__IU1" logic="CASL" refname="v" relxpath="/Imports/Union/Spec[1]">
<Declarations>
<Symbol range="ParamView:5.28">sort j</Symbol>
</Declarations>
</DGNode>
<DGNode name="v__PU1" logic="CASL" refname="v" relxpath="/Parameters/Union/Spec[1]">
<Declarations>
<Symbol range="ParamView:5.13">sort r</Symbol>
</Declarations>
</DGNode>
<DGNode name="v__S" logic="CASL" refname="v" relxpath="/Source">
<Declarations>
<Symbol range="ParamView:5.39">sort p</Symbol>
</Declarations>
</DGNode>
<DGNode name="v__T" logic="CASL" refname="v" relxpath="/Target">
<Declarations>
<Symbol range="ParamView:5.51">sort q</Symbol>
</Declarations>
</DGNode>
<DGNode name="s2__PU1" logic="CASL" refname="s2" relxpath="/Parameters/Union/Spec[1]">
<Declarations>
<Symbol range="ParamView:8.15-8.16">sort p2</Symbol>
</Declarations>
</DGNode>
<DGNode name="s2__A1V" logic="CASL" refname="s" relxpath="/Parameters/Union/Spec[1]" />
<DGNode name="s2__A1A1" logic="CASL" refname="s2" relxpath="/Actuals/Spec[1]/Actuals/Spec[1]">
<Declarations>
<Symbol range="ParamView:8.35">sort t</Symbol>
</Declarations>
</DGNode>
<DGNode name="s2__A1" logic="CASL" refname="s2" relxpath="/Actuals/Spec[1]" />
<DGNode name="s2" logic="CASL" refname="s2" relxpath="/" />
<DGLink source="s__IU1" target="s__PU1" linkid="0">
<Type>GlobalDefInc</Type>
<GMorphism name="id_CASL.SubPCSOL=E" />
</DGLink>
<DGLink source="s__IU1" target="s2__A1V" linkid="5">
<Type>GlobalDefInc</Type>
<GMorphism name="id_CASL.SubPCSOL=E" />
</DGLink>
<DGLink source="s__PU1" target="s" linkid="1">
<Type>GlobalDefInc</Type>
<GMorphism name="id_CASL.SubPCSOL=E" />
</DGLink>
<DGLink source="s__PU1" target="s2__A1V" linkid="7">
<Type>GlobalProvenThmInc</Type>
<Rule>Global-Decomposition</Rule>
<RuleTarget linkref="7" />
<ProofBasis linkref="5" />
<ProofBasis linkref="15" />
<GMorphism name="id_CASL.SubPCSOL=E" />
</DGLink>
<DGLink source="s__PU1" target="s2__A1V" linkid="15">
<Type>LocalProvenThmInc</Type>
<Rule>local-inference</Rule>
<GMorphism name="id_CASL.SubPCSOL=E" />
</DGLink>
<DGLink source="s" target="s2" linkid="13">
<Type>GlobalDef</Type>
<GMorphism name="id_CASL.SubPCSOL=E">
<map>
<Symbol>sort p</Symbol>
<Symbol>sort q</Symbol>
</map>
</GMorphism>
</DGLink>
<DGLink source="v__IU1" target="v__PU1" linkid="2">
<Type>GlobalDefInc</Type>
<GMorphism name="id_CASL.SubPCSOL=E" />
</DGLink>
<DGLink source="v__IU1" target="s2__A1A1" linkid="8">
<Type>GlobalDefInc</Type>
<GMorphism name="id_CASL.SubPCSOL=E" />
</DGLink>
<DGLink source="v__PU1" target="v__T" linkid="3">
<Type>GlobalDefInc</Type>
<GMorphism name="id_CASL.SubPCSOL=E" />
</DGLink>
<DGLink source="v__PU1" target="s2__A1A1" linkid="9">
<Type>GlobalProvenThm</Type>
<Rule>Global-Decomposition</Rule>
<RuleTarget linkref="9" />
<ProofBasis linkref="8" />
<ProofBasis linkref="16" />
<GMorphism name="id_CASL.SubPCSOL=E">
<map>
<Symbol>sort r</Symbol>
<Symbol>sort t</Symbol>
</map>
</GMorphism>
</DGLink>
<DGLink source="v__PU1" target="s2__A1A1" linkid="16">
<Type>LocalProvenThm</Type>
<Rule>local-inference</Rule>
<GMorphism name="id_CASL.SubPCSOL=E">
<map>
<Symbol>sort r</Symbol>
<Symbol>sort t</Symbol>
</map>
</GMorphism>
</DGLink>
<DGLink source="v__S" target="v__T" linkid="4">
<Type>GlobalProvenThm</Type>
<Rule>Global-Decomposition</Rule>
<RuleTarget linkref="4" />
<ProofBasis linkref="17" />
<GMorphism name="id_CASL.SubPCSOL=E">
<map>
<Symbol>sort p</Symbol>
<Symbol>sort q</Symbol>
</map>
</GMorphism>
</DGLink>
<DGLink source="v__S" target="v__T" linkid="17">
<Type>LocalProvenThm</Type>
<Rule>local-inference</Rule>
<GMorphism name="id_CASL.SubPCSOL=E">
<map>
<Symbol>sort p</Symbol>
<Symbol>sort q</Symbol>
</map>
</GMorphism>
</DGLink>
<DGLink source="v__S" target="s2__A1V" linkid="6">
<Type>GlobalDefInc</Type>
<GMorphism name="id_CASL.SubPCSOL=E" />
</DGLink>
<DGLink source="v__T" target="s2__A1" linkid="11">
<Type>GlobalDef</Type>
<GMorphism name="id_CASL.SubPCSOL=E">
<map>
<Symbol>sort r</Symbol>
<Symbol>sort t</Symbol>
</map>
</GMorphism>
</DGLink>
<DGLink source="s2__PU1" target="s2" linkid="14">
<Type>GlobalDefInc</Type>
<GMorphism name="id_CASL.SubPCSOL=E" />
</DGLink>
<DGLink source="s2__A1A1" target="s2__A1" linkid="10">
<Type>GlobalDefInc</Type>
<GMorphism name="id_CASL.SubPCSOL=E" />
</DGLink>
<DGLink source="s2__A1" target="s2" linkid="12">
<Type>GlobalDefInc</Type>
<GMorphism name="id_CASL.SubPCSOL=E" />
</DGLink>
</DGraph>