Add Denial Constraint structures that are necessary to implement DC verification#417

Open

ol-imorozko wants to merge 8 commits intoDesbordante:mainfrom ol-imorozko:DCs-for-verification

+821

Commits on Jun 8, 2024

Impelement Operator class

ol-imorozko
authored and
polyntsov
committed
Implement tests for Operator class

ol-imorozko
authored and
polyntsov
committed
Implement ColumnOperand class

ol-imorozko
authored and
polyntsov
committed
Implement BaseProvider class

ol-imorozko
authored and
polyntsov
committed
Implement PredicateProvider class

ol-imorozko
authored and
polyntsov
committed
Implement Predicate class

ol-imorozko
authored and
polyntsov
committed
Add test that checks that PredicateProvider works

ol-imorozko
authored and
polyntsov
committed
Create temporary PredicateBuilder class

ol-imorozko
authored and
polyntsov
committed