| commit | 830a993b704b0cadc05fe956d1174d87fb92270d | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Wed, 2 Apr 2008 21:23:24 +0000 (2 23:23 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Thu, 3 Apr 2008 15:01:59 +0000 (3 17:01 +0200) | ||
| tree | 883b04247894ec48ae99792da532a2b0c91035f2 | treesnapshot (tar.gz zip) |
| parent | 84133f73eb31fc7983841803fe93428968232939 | commitdiff |
omega/convert.cc: relation2Domain: only collect set variables
That is, don't collect existentially quantified variables.
That is, don't collect existentially quantified variables.