===============================================================================
Title: writeEspresso
Project: Optimal merging of polyhedra with the same PWA dynamics
Purpose: Write merging problem as boolean expression into input file
Inputs: fname: name of Espresso input file
M_on: markings corresponding to on minterms
M_off: markings corresponding to off minterms
both have the format (#hyperplanes x #polyhedra) \in\{-1,-0.5,0.5,1\}
Remarks: in the Espresso file, 0-1 means ~AC
this is translated into M(i) = -1 0 1
This file is intended only for one output function.
Author: Tobias Geyer
History: date ver. subject
2004.02.09 1.0 initial version
Contact: Tobias Geyer
Automatic Control Laboratory
ETH Zentrum, CH-8092 Zurich, Switzerland
geyer@control.ee.ethz.ch
Comments and bug reports are highly appreciated
===============================================================================