diff options
| author | mudathirmahgoub <mudathirmahgoub@gmail.com> | 2020-09-28 08:53:07 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-28 08:53:07 -0500 |
| commit | 0f77646dfc0944f1f17f121ffb3112bf8b244f76 (patch) | |
| tree | c47327731f05c19232f9c756f43da878f83d4ec9 /src/proof/clause_id.h | |
| parent | 2117152db35fe1e8cee1632303789dceda311d1a (diff) | |
Implement bags rewriter (#5132)
This PR implements rewrite rules for bags. This PR focuses on rewrite rules for non constant nodes.
Rewriting nodes with constant children is delegated to bags::NormalForm class (future PR).
Diffstat (limited to 'src/proof/clause_id.h')
0 files changed, 0 insertions, 0 deletions