diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-10-28 06:02:38 -0700 |
---|---|---|
committer | Andres Noetzli <andres.noetzli@gmail.com> | 2021-10-28 06:02:38 -0700 |
commit | d4846dd091d78dac2f668b66abfa2b005d3c8a4d (patch) | |
tree | fbaa988bf5d86cb37e8ae85a2071c2a5951464f9 /src/preprocessing/passes/miplib_trick.h | |
parent | 46f5a39730ebd42421963c23de81a75652fb6629 (diff) |
Make `Theory::get()` private
Now that theories have been refactored to use common interfaces, they
should not access `Theory::get()` anymore because facts are consumed by
`Theory::check()`.
Diffstat (limited to 'src/preprocessing/passes/miplib_trick.h')
0 files changed, 0 insertions, 0 deletions