diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-08-09 16:50:09 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-09 14:50:09 -0700 |
| commit | 28f5438df1e5ba87aab60552658aa09b79c35ba2 (patch) | |
| tree | a6220b7a3efdaaac55f161b2133a8235e7f40c97 /src/theory/arith/constraint_forward.h | |
| parent | 43ae3483320d7964166407f84d04339ece944bbf (diff) | |
Splitting a few utility classes from EqualityEngine to their own file (#4862)
Includes iterators and notification callbacks. These classes will be highly relevant for planned extensions to the core theory engine infrastructure.
Diffstat (limited to 'src/theory/arith/constraint_forward.h')
0 files changed, 0 insertions, 0 deletions