Decide on API - Githubissues

4tXJ7f / cvc5

CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems.

Other

2 stars 5 forks source link

Closed 4tXJ7f closed 7 years ago

4tXJ7f commented 7 years ago

For each variable in init, we need to decide about one of the following things:

Move it to the API class (probably reserved for read only access)
Move it to the assertion pipeline (probably for objects that are modified by multiple passes)
Have them owned by a pass (the object gets created and destroyed with the pass)