diff options
| author | RncLsn <rnc.lsn@gmail.com> | 2015-07-09 16:01:01 +0100 |
|---|---|---|
| committer | RncLsn <rnc.lsn@gmail.com> | 2015-07-09 16:01:01 +0100 |
| commit | 3d44aee6069175038266c65f945147569e6343f6 (patch) | |
| tree | e4eb3f166c28339701636cec513a387673e4ac0a /src/uk/ac/ox/cs/pagoda/endomorph/plan | |
| parent | 8241a535a55508b6c504f4f0b426612fe95d15a5 (diff) | |
| download | ACQuA-3d44aee6069175038266c65f945147569e6343f6.tar.gz ACQuA-3d44aee6069175038266c65f945147569e6343f6.zip | |
Bug-fix for answer dependencies analysis: now it checks whether the endomorphism makes the first tuple identical to the second one.
Diffstat (limited to 'src/uk/ac/ox/cs/pagoda/endomorph/plan')
| -rw-r--r-- | src/uk/ac/ox/cs/pagoda/endomorph/plan/OpenEndPlan.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/uk/ac/ox/cs/pagoda/endomorph/plan/OpenEndPlan.java b/src/uk/ac/ox/cs/pagoda/endomorph/plan/OpenEndPlan.java index a46da85..076427e 100644 --- a/src/uk/ac/ox/cs/pagoda/endomorph/plan/OpenEndPlan.java +++ b/src/uk/ac/ox/cs/pagoda/endomorph/plan/OpenEndPlan.java | |||
| @@ -71,7 +71,8 @@ public class OpenEndPlan implements CheckPlan { | |||
| 71 | else { | 71 | else { |
| 72 | Utility.logDebug(answerTuple.toString() + " is verified."); | 72 | Utility.logDebug(answerTuple.toString() + " is verified."); |
| 73 | addProjections(clique); | 73 | addProjections(clique); |
| 74 | flag = true; | 74 | flag = true; |
| 75 | validated.add(clique); | ||
| 75 | } | 76 | } |
| 76 | } | 77 | } |
| 77 | } | 78 | } |