Home
last modified time | relevance | path

Searched defs:tactic2solver_factory (Results 1 – 2 of 2) sorted by relevance

/dports/math/py-z3-solver/z3-z3-4.8.10/src/solver/
H A Dtactic2solver.cpp309 class tactic2solver_factory : public solver_factory { class
312 tactic2solver_factory(tactic * t):m_tactic(t) { in tactic2solver_factory() function in __anonc3a40cc00211::tactic2solver_factory
/dports/math/z3/z3-z3-4.8.13/src/solver/
H A Dtactic2solver.cpp313 class tactic2solver_factory : public solver_factory { class
316 tactic2solver_factory(tactic * t):m_tactic(t) { in tactic2solver_factory() function in __anonbe2803850211::tactic2solver_factory