diff options
| author |  nagilooh <ficsorattila96@gmail.com> | 2023-08-25 17:04:43 +0200 |
|---|---|---|
| committer | nagilooh <ficsorattila96@gmail.com> | 2023-08-25 17:04:43 +0200 |
| commit | 0b3f95bbc05d74b37d7c769bf76f38c25e4b1b73 (patch) | |
| tree | 3516135ac5d9fa5cfffabe438e576e6b4e347828 /subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/AtomicAction.java | |
| parent | Add delete action and additional tests for equals (diff) | |
| download | refinery-0b3f95bbc05d74b37d7c769bf76f38c25e4b1b73.tar.gz refinery-0b3f95bbc05d74b37d7c769bf76f38c25e4b1b73.tar.zst refinery-0b3f95bbc05d74b37d7c769bf76f38c25e4b1b73.zip | |
Move equivalence checking to new method
Also:
- Rename Symbol to Variable
- Make fire for InsertAction with low arity faster
Diffstat (limited to 'subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/AtomicAction.java')
| -rw-r--r-- | subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/AtomicAction.java | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/AtomicAction.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/AtomicAction.java index 19de644a..470278ae 100644 --- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/AtomicAction.java +++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/internal/action/AtomicAction.java | |||
| @@ -8,4 +8,6 @@ public interface AtomicAction { | |||
| 8 | void fire(Tuple activation); | 8 | void fire(Tuple activation); |
| 9 | 9 | ||
| 10 | AtomicAction prepare(Model model); | 10 | AtomicAction prepare(Model model); |
| 11 | |||
| 12 | boolean equalsWithSubstitution(AtomicAction other); | ||
| 11 | } | 13 | } |