Home
last modified time | relevance | path

Searched refs:check_logic (Results 1 – 10 of 10) sorted by relevance

/dports/math/py-z3-solver/z3-z3-4.8.10/src/solver/
H A Dcheck_logic.h23 class check_logic {
27 check_logic();
28 ~check_logic();
H A Dcheck_logic.cpp31 struct check_logic::imp {
525 check_logic::check_logic() { in check_logic() function in check_logic
529 check_logic::~check_logic() { in ~check_logic()
534 void check_logic::reset() { in reset()
540 void check_logic::set_logic(ast_manager & m, symbol const & logic) { in set_logic()
546 bool check_logic::operator()(expr * n) { in operator ()()
552 bool check_logic::operator()(func_decl * f) { in operator ()()
558 char const * check_logic::get_last_error() const { in get_last_error()
/dports/math/z3/z3-z3-4.8.13/src/solver/
H A Dcheck_logic.h23 class check_logic {
27 check_logic();
28 ~check_logic();
H A Dcheck_logic.cpp31 struct check_logic::imp {
525 check_logic::check_logic() { in check_logic() function in check_logic
529 check_logic::~check_logic() { in ~check_logic()
534 void check_logic::reset() { in reset()
540 void check_logic::set_logic(ast_manager & m, symbol const & logic) { in set_logic()
546 bool check_logic::operator()(expr * n) { in operator ()()
552 bool check_logic::operator()(func_decl * f) { in operator ()()
558 char const * check_logic::get_last_error() const { in get_last_error()
/dports/math/yices/yices-2.6.2/src/frontend/smt2/
H A Dsmt2_commands.c4060 if (check_logic()) { in explain_unknown_status()
4415 if (check_logic()) { in smt2_get_assertions()
4433 if (check_logic()) { in smt2_get_assignment()
4443 if (check_logic()) { in smt2_get_proof()
4481 if (check_logic()) { in smt2_get_unsat_core()
4495 if (check_logic()) { in smt2_get_unsat_assumptions()
4520 if (check_logic()) { in smt2_get_value()
5771 if (check_logic()) { in smt2_push()
5812 if (check_logic()) { in smt2_pop()
5882 if (check_logic()) { in smt2_assert()
[all …]
/dports/mail/razor-agents/razor-agents-2.84/lib/Razor2/Client/
H A DCore.pm995 $self->check_logic($obj);
1004 sub check_logic { subroutine
/dports/math/z3/z3-z3-4.8.13/src/cmd_context/
H A Dcmd_context.h222 check_logic m_check_logic;
/dports/math/py-z3-solver/z3-z3-4.8.10/src/cmd_context/
H A Dcmd_context.h208 check_logic m_check_logic;
/dports/math/z3/z3-z3-4.8.13/
H A DRELEASE_NOTES348 - Relax check_logic procedure. Now, it accepts coercions (to_real) automatically introduced by Z3. …
/dports/math/py-z3-solver/z3-z3-4.8.10/
H A DRELEASE_NOTES331 - Relax check_logic procedure. Now, it accepts coercions (to_real) automatically introduced by Z3. …