diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2023-07-10 18:38:11 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2023-07-10 20:21:01 +0200 |
| commit | 9666818c58bb4c30ef6b0c88cc680bc559b123c6 (patch) | |
| tree | e49a67fd85fcf8a8ac679553e47aeeec9b729f0b /subprojects/store-query-viatra/src | |
| parent | refactor: enable data variable unification (diff) | |
| download | refinery-9666818c58bb4c30ef6b0c88cc680bc559b123c6.tar.gz refinery-9666818c58bb4c30ef6b0c88cc680bc559b123c6.tar.zst refinery-9666818c58bb4c30ef6b0c88cc680bc559b123c6.zip | |
feat: DNF rewriting
* DuplicateDnfRewriter replaces DNF with their canonical
representatives
* ClauseInputParameterResolver removes input parameters by demand set
transformation
* CompositeRewriter for rewriter stacks
Diffstat (limited to 'subprojects/store-query-viatra/src')
0 files changed, 0 insertions, 0 deletions