test/ParameterSpecTest/ParamView.xml

	ParamView.xml revision 39f54506ddf420d74afeeec4065ebf7222aca364
<?xml version='1.0' ?>
<DGraph filename="ParamView" mime-type="text/het" libname="ParamView" dgnodes="12" dgedges="18" nextlinkid="18">
  <DGNode name="s__IU1" range="ParamView:3.23-3.30" reference="false" logic="CASL" refname="s" relxpath="/Imports/Union/Spec[1]">
    <Declarations>
      <Symbol kind="sort" name="i" iri="i" range="ParamView:3.29">sort i</Symbol>
    </Declarations>
  </DGNode>
  <DGNode name="s__PU1" range="ParamView:3.9-3.15" reference="false" logic="CASL" refname="s" relxpath="/Parameters/Union/Spec[1]">
    <Declarations>
      <Symbol kind="sort" name="p" iri="p" range="ParamView:3.14">sort p</Symbol>
    </Declarations>
  </DGNode>
  <DGNode name="s" range="ParamView:3.1-3.32" reference="false" logic="CASL" refname="s" relxpath="/">
    <Declarations>
      <Symbol kind="sort" name="s" iri="s" range="ParamView:3.39">sort s</Symbol>
    </Declarations>
  </DGNode>
  <DGNode name="v__IU1" range="ParamView:5.22-5.29" reference="false" logic="CASL" refname="v" relxpath="/Imports/Union/Spec[1]">
    <Declarations>
      <Symbol kind="sort" name="j" iri="j" range="ParamView:5.28">sort j</Symbol>
    </Declarations>
  </DGNode>
  <DGNode name="v__PU1" range="ParamView:5.8-5.14" reference="false" logic="CASL" refname="v" relxpath="/Parameters/Union/Spec[1]">
    <Declarations>
      <Symbol kind="sort" name="r" iri="r" range="ParamView:5.13">sort r</Symbol>
    </Declarations>
  </DGNode>
  <DGNode name="v__S" range="ParamView:5.33-5.40" reference="false" logic="CASL" refname="v" relxpath="/Source">
    <Declarations>
      <Symbol kind="sort" name="p" iri="p" range="ParamView:5.39">sort p</Symbol>
    </Declarations>
  </DGNode>
  <DGNode name="v__T" range="ParamView:5.45-5.52" reference="false" logic="CASL" refname="v" relxpath="/Target">
    <Declarations>
      <Symbol kind="sort" name="q" iri="q" range="ParamView:5.51">sort q</Symbol>
    </Declarations>
  </DGNode>
  <DGNode name="s2__PU1" range="ParamView:8.10-8.17" reference="false" logic="CASL" refname="s2" relxpath="/Parameters/Union/Spec[1]">
    <Declarations>
      <Symbol kind="sort" name="p2" iri="p2" range="ParamView:8.15-8.16">sort p2</Symbol>
    </Declarations>
  </DGNode>
  <DGNode name="s2__A1V" range="ParamView:8.6-8.8" reference="false" logic="CASL" refname="s" relxpath="/Parameters/Union/Spec[1]" />
  <DGNode name="s2__A1A1" reference="false" logic="CASL" refname="s2" relxpath="/Actuals/Spec[1]/Actuals/Spec[1]">
    <Declarations>
      <Symbol kind="sort" name="t" iri="t" range="ParamView:8.35">sort t</Symbol>
    </Declarations>
  </DGNode>
  <DGNode name="s2__A1" range="ParamView:8.6-8.8" reference="false" logic="CASL" refname="s2" relxpath="/Actuals/Spec[1]" />
  <DGNode name="s2" range="ParamView:8.6-8.8" reference="false" 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 kind="sort" name="p" iri="p" range="ParamView:3.14">sort p</Symbol>
        <Symbol kind="sort" name="q" iri="q" range="ParamView:6.13">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 kind="sort" name="r" iri="r" range="ParamView:5.13">sort r</Symbol>
        <Symbol kind="sort" name="t" iri="t" range="ParamView:8.35">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 kind="sort" name="r" iri="r" range="ParamView:5.13">sort r</Symbol>
        <Symbol kind="sort" name="t" iri="t" range="ParamView:8.35">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 kind="sort" name="p" iri="p" range="ParamView:5.39">sort p</Symbol>
        <Symbol kind="sort" name="q" iri="q" range="ParamView:6.13">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 kind="sort" name="p" iri="p" range="ParamView:5.39">sort p</Symbol>
        <Symbol kind="sort" name="q" iri="q" range="ParamView:6.13">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 kind="sort" name="r" iri="r" range="ParamView:5.13">sort r</Symbol>
        <Symbol kind="sort" name="t" iri="t" range="ParamView:8.35">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>