Explicit balance constraint added. Comments on determined balance of signal relations.
authorJoey Capper <jjc@cs.nott.ac.uk>
Mon, 10 Jan 2011 14:08:05 +0000 (14:08 +0000)
committerJoey Capper <jjc@cs.nott.ac.uk>
Mon, 10 Jan 2011 14:08:05 +0000 (14:08 +0000)
commit8e27d3e3bff2bb95ce68ba27089278bcd2d32029
treef630e5501085e37f5e41e4f39725f57441ba95de
parent0090e85e12859235ce3c3d98552087273f241e48
Explicit balance constraint added. Comments on determined balance of signal relations.

Parenthesized e : SR n. Changes to constraint syntax (back to sets).
refined.lhs