<?xml version="1.0" encoding="iso-8859-15"?>
<process name="ABCTree" basedir=".">

  <set name="ban.log.format" global="false">
	<get property="ban.log.format" defvalue="txt"/> </set>

  <!-- DEFINE POST PROCESS -->

  <!-- Fonction pour le calcul Aralia -->
  <set name="aralia.exec" global="false">
	<get property="aralia.exec" defvalue="aralia"/> </set>
  <set name="aralia.format" global="false">
	<get property="aralia.format" defvalue="XML"/> </set>
  <set name="aralia.time" global="false">
	<get property="aralia.time" defvalue="1"/> </set>

  <!--function id="aralia-launch">
	<local name="input" />
	<local name="output" />
	<block>
	  <set name="aralia.result">
		<araliacompute failOnError="false" executable="%{aralia.exec}"
			srcfile="%{input}" destfile="%{output}" 
			time="%{aralia.time}" format="%{aralia.format}" >
		  <pr/>
		  <mcs>
		    <param name="orders" value="true"/>
		  </mcs>
		  <pr> <param name="leaves" value="true"/> </pr>
	      <destination file="${ban.log.path}">
	        <layout name="%{ban.log.format}">
	          <param name="Info" value="true"/>
	          <param name="Output" value="true"/>
	        </layout>
	      </destination>
		</araliacompute>
	  </set>
	  <fail message="Aralia fail [%{aralia.result}]">
		<get name="aralia.result" />
	  </fail>
	</block>
  </function-->
  

  <!-- Generation A2B -->
  <set name="a2b.exec" global="false">
	<get property="a2b.exec" defvalue="abc"/> </set>

  <set name="a2b.format" global="false">
	<get property="a2b.format" defvalue="aralia"/> </set>
  <set name="a2b.algorithm" global="false">
	<get property="a2b.algorithm" defvalue="ite"/> </set>
  <set name="a2b.simplify" global="false">
	<get property="a2b.simplify" defvalue="0"/> </set>

  <set name="a2b.result"> 
    <abc srcfile="${a2b.input}" executable="${a2b.exec}"> 
      <param name="format" value="%{a2b.format}"/>
      <param name="algorithm" value="%{a2b.algorithm}"/>
      <param name="simplify" value="%{a2b.simplify}"/>
      <destination file="${ban.log.path}">
        <layout name="%{ban.log.format}">
          <param name="Info" value="true"/>
          <param name="Output" value="true"/>
        </layout>
      </destination>

  <!-- Definition des cibles de calcul >
      <target name="${a2b.tgt.name}" value="${a2b.tgt.value}" 
              file="${a2b.tgt.output}.ara"/>
    </abc>
  </set>
  <fail message="TreeGeneration fail [%{a2b.result}]">
	<get name="a2b.result" />
  </fail>
  
  
</process -->
