mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-10 19:27:06 +00:00
Code Activity

isolate constraints in a constraint_set

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2020-02-07 09:25:06 -08:00
parent 800bc757ae
commit bd444f8ec7
1 changed files with 0 additions and 1 deletions

1
src/math/lp/lar_constraints.h
View file

@ -159,7 +159,6 @@ public:
// and expose just active constraints
// constraints need not be active.
bool valid_index(constraint_index ci) const { return ci < m_constraints.size(); }
// unsigned size() const { return m_constraints.size(); }
vector<lar_base_constraint*>::const_iterator begin() const { return m_constraints.begin(); }
vector<lar_base_constraint*>::const_iterator end() const { return m_constraints.end(); }