simplify constraints of validity domains
commit8dbba48f686b451657806bb86b700a888a6ef872
authorskimo <skimo>
Wed, 2 Jun 2004 16:06:59 +0000 (2 16:06 +0000)
committerskimo <skimo>
Wed, 2 Jun 2004 16:06:59 +0000 (2 16:06 +0000)
treec22be0fff28edc6393750d39ee8434cc41982035
parent8ec8f73bb9d70d826bb5c540a25649765e968224
simplify constraints of validity domains
barvinok.cc