Skip to content
Commit bbbef99d authored by Christoph Schwering's avatar Christoph Schwering
Browse files

Several small API changes.

* Added const Setup[s]::[Inconsistent|Entails]().
* Using the const versions in Formula etc.
* Getters for non-const setups return pointers (instead of references)
  and are have `mutable' in their name, e.g., mutable_setup().
parent 02755fa8
Loading
Loading
Loading
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment