Home
last modified time | relevance | path

Searched defs:mk_modus_ponens (Results 1 – 4 of 4) sorted by relevance

/dports/math/z3/z3-z3-4.8.13/src/muz/base/
H A Dhnf.cpp480 proof_ref mk_modus_ponens(proof* premise, proof* eq) { in mk_modus_ponens() function in hnf::imp
/dports/math/py-z3-solver/z3-z3-4.8.10/src/muz/base/
H A Dhnf.cpp481 proof_ref mk_modus_ponens(proof* premise, proof* eq) { in mk_modus_ponens() function in hnf::imp
/dports/math/z3/z3-z3-4.8.13/src/ast/
H A Dast.cpp2733 proof * ast_manager::mk_modus_ponens(proof * p1, proof * p2) { in mk_modus_ponens() function in ast_manager
/dports/math/py-z3-solver/z3-z3-4.8.10/src/ast/
H A Dast.cpp2811 proof * ast_manager::mk_modus_ponens(proof * p1, proof * p2) { in mk_modus_ponens() function in ast_manager