| commit | 01cfd9b3cb10d10f7fa1139df48f0176367067be | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 1 Jul 2013 08:01:57 +0000 (1 10:01 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Sat, 27 Jul 2013 09:09:10 +0000 (27 11:09 +0200) | ||
| tree | 87582b4b3da0d776aefb62008410c7fe5c352cfe | treesnapshot (tar.gz zip) |
| parent | a200c0312394d85c8c23a8d0ece263df454db2c5 | commitdiff |
PetScan::resolve_nested: use function to embed arguments in statement domain
To embed an access relation, we can either apply a relation to the domain
or we can precompose it with a function.
To embed an index expression, we can only precompose it with a function.
Switch to a function to ease the transition to index expressions.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
To embed an access relation, we can either apply a relation to the domain
or we can precompose it with a function.
To embed an index expression, we can only precompose it with a function.
Switch to a function to ease the transition to index expressions.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| scan.cc | diffblobblamehistory |