/dports/math/py-pysmt/pysmt-0.9.0/pysmt/test/ |
H A D | test_logics.py | 19 from pysmt.logics import get_logic_by_name, get_logic, most_generic_logic 43 l_out = get_logic(quantifier_free=l.quantifier_free, 62 (pysmt.logics.AUFLIA, get_logic(arrays=True, 66 (pysmt.logics.AUFLIRA, get_logic(arrays=True, 71 (pysmt.logics.AUFNIRA, get_logic(arrays=True, 76 (pysmt.logics.LRA, get_logic(linear=True, 78 (pysmt.logics.QF_ABV, get_logic(quantifier_free=True, 81 (pysmt.logics.QF_AUFBV, get_logic(quantifier_free=True, 90 (pysmt.logics.QF_UFLRA, get_logic(quantifier_free=True, 94 (pysmt.logics.QF_RDL, get_logic(quantifier_free=True, [all …]
|
H A D | test_string.py | 189 from pysmt.oracles import get_logic 194 theory = get_logic(f).theory 201 theory = get_logic(f).theory 207 theory = get_logic(f).theory
|
H A D | test_nlira.py | 22 from pysmt.oracles import get_logic 64 logic = get_logic(f)
|
H A D | test_oracles.py | 22 from pysmt.oracles import get_logic 37 res = get_logic(example.expr)
|
/dports/math/py-pysmt/pysmt-0.9.0/examples/ |
H A D | qe.py | 92 from pysmt.oracles import get_logic 93 print(get_logic(f3), get_logic(qe_f3))
|
H A D | allsmt.py | 12 from pysmt.oracles import get_logic 15 target_logic = get_logic(formula)
|
/dports/math/py-pysmt/pysmt-0.9.0/pysmt/ |
H A D | factory.py | 36 from pysmt.oracles import get_logic 455 logic = get_logic(formula, self.environment) 469 logic = get_logic(formula, self.environment) 482 logic = get_logic(formula, self.environment) 506 logic = get_logic(self.environment.formula_manager.And(clauses), 521 logic = get_logic(formula, self.environment) 535 logic = get_logic(formula, self.environment) 549 logic = get_logic(formula, self.environment) 559 logic = get_logic(_And(formula_a, formula_b)) 568 logic = get_logic(_And(formulas))
|
H A D | logics.py | 735 return get_logic(**logic_kwargs).name 738 def get_logic(quantifier_free=False, function
|
H A D | oracles.py | 520 def get_logic(formula, env=None): function
|
H A D | simplifier.py | 1058 from pysmt.oracles import get_logic 1061 logic = get_logic(formula)
|
/dports/games/simutrans/simutrans-121.0/dataobj/ |
H A D | crossing_logic.cc | 293 if (crossing_logic_t *start_logic = start_cr->get_logic() ) { in add() 308 if( found_cr->get_logic()!=NULL ) { in add() 309 crossings_logics.append_unique( found_cr->get_logic() ); in add() 325 if( found_cr->get_logic()!=NULL ) { in add() 326 crossings_logics.append_unique( found_cr->get_logic() ); in add() 382 assert(this==found_cr->get_logic()); in remove()
|
/dports/games/simutrans/simutrans-121.0/obj/ |
H A D | crossing.h | 84 crossing_logic_t *get_logic() { return logic; } in get_logic() function
|
/dports/math/z3/z3-z3-4.8.13/src/smt/ |
H A D | smt_setup.h | 121 symbol const & get_logic() const { return m_logic; } in get_logic() function
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/smt/ |
H A D | smt_setup.h | 120 symbol const & get_logic() const { return m_logic; } in get_logic() function
|
/dports/math/py-z3-solver/z3-z3-4.8.10/src/cmd_context/ |
H A D | simplify_cmd.cpp | 109 pp.set_logic(ctx.get_logic()); in execute()
|
H A D | cmd_context.h | 326 symbol const & get_logic() const { return m_logic; } in get_logic() function
|
H A D | basic_cmds.cpp | 204 pp.set_logic(ctx.get_logic());
|
/dports/math/z3/z3-z3-4.8.13/src/cmd_context/ |
H A D | simplify_cmd.cpp | 109 pp.set_logic(ctx.get_logic()); in execute()
|
H A D | cmd_context.h | 341 symbol const & get_logic() const { return m_logic; } in get_logic() function
|
H A D | basic_cmds.cpp | 204 pp.set_logic(ctx.get_logic());
|
H A D | tactic_cmds.cpp | 192 tref->set_logic(ctx.get_logic()); in execute()
|
/dports/math/py-pysmt/pysmt-0.9.0/pysmt/smtlib/ |
H A D | script.py | 28 from pysmt.oracles import get_logic 254 f_logic = get_logic(formula)
|
/dports/math/py-pysmt/pysmt-0.9.0/pysmt/solvers/ |
H A D | bdd.py | 35 from pysmt.oracles import get_logic 412 logic = get_logic(formula, self.environment)
|
H A D | msat.py | 30 from pysmt.oracles import get_logic 1127 logic = get_logic(formula, self.env) 1207 logic = get_logic(f, self.environment)
|
H A D | z3.py | 49 from pysmt.oracles import get_logic 934 logic = get_logic(formula, self.environment)
|