aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/lifting/DnfLifter.java
Commit message (Expand)AuthorAge
* refactor: move terms and DNF into logic subprojectLibravatar Kristóf Marussy2024-04-07
* feat: metamodel translatorLibravatar Kristóf Marussy2023-08-13
* feat: custom connected component RETE nodeLibravatar Kristóf Marussy2023-07-23
* feat: multi-object based EQUALS and EXISTSLibravatar Kristóf Marussy2023-07-20
* feat: basic partial interpretation infrastructureLibravatar Kristóf Marussy2023-07-20
* refactor: Dnf lifterLibravatar Kristóf Marussy2023-06-29
* feat: Dnf liftingLibravatar Kristóf Marussy2023-06-29
* feat: query parameter binding validationLibravatar Kristóf Marussy2023-05-01
* refactor: simplify ModelAdapterLibravatar Kristóf Marussy2023-04-21
* chore: add copyright headersLibravatar Kristóf Marussy2023-04-15
* feat: terms and improved query evaluationLibravatar Kristóf Marussy2023-03-31
* refactor: rename PartialInterpretation adapterLibravatar Kristóf Marussy2023-02-25
generated by cgit v1.2.3-54-g00ecf (git 2.45.2) at 2024-06-28 17:46:50 +0000