Home
last modified time | relevance | path

Searched refs:size_pred (Results 1 – 2 of 2) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/nlsat/
H A Dnlsat_solver.cpp1052 struct size_pred { struct
1055 … size_pred(svector<trail> & trail, unsigned old_size):m_trail(trail), m_old_size(old_size) {} in size_pred() argument
1062 undo_until(size_pred(m_trail, old_size)); in undo_until_size()
/dports/math/py-z3-solver/z3-z3-4.8.10/src/nlsat/
H A Dnlsat_solver.cpp1052 struct size_pred { struct
1055 … size_pred(svector<trail> & trail, unsigned old_size):m_trail(trail), m_old_size(old_size) {} in size_pred() function
1062 undo_until(size_pred(m_trail, old_size)); in undo_until_size()