Home
last modified time | relevance | path

Searched refs:get_logic (Results 1 – 25 of 30) sorted by relevance

12

/dports/math/py-pysmt/pysmt-0.9.0/pysmt/test/
H A Dtest_logics.py19 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 Dtest_string.py189 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 Dtest_nlira.py22 from pysmt.oracles import get_logic
64 logic = get_logic(f)
H A Dtest_oracles.py22 from pysmt.oracles import get_logic
37 res = get_logic(example.expr)
/dports/math/py-pysmt/pysmt-0.9.0/examples/
H A Dqe.py92 from pysmt.oracles import get_logic
93 print(get_logic(f3), get_logic(qe_f3))
H A Dallsmt.py12 from pysmt.oracles import get_logic
15 target_logic = get_logic(formula)
/dports/math/py-pysmt/pysmt-0.9.0/pysmt/
H A Dfactory.py36 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 Dlogics.py735 return get_logic(**logic_kwargs).name
738 def get_logic(quantifier_free=False, function
H A Doracles.py520 def get_logic(formula, env=None): function
H A Dsimplifier.py1058 from pysmt.oracles import get_logic
1061 logic = get_logic(formula)
/dports/games/simutrans/simutrans-121.0/dataobj/
H A Dcrossing_logic.cc293 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 Dcrossing.h84 crossing_logic_t *get_logic() { return logic; } in get_logic() function
/dports/math/z3/z3-z3-4.8.13/src/smt/
H A Dsmt_setup.h121 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 Dsmt_setup.h120 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 Dsimplify_cmd.cpp109 pp.set_logic(ctx.get_logic()); in execute()
H A Dcmd_context.h326 symbol const & get_logic() const { return m_logic; } in get_logic() function
H A Dbasic_cmds.cpp204 pp.set_logic(ctx.get_logic());
/dports/math/z3/z3-z3-4.8.13/src/cmd_context/
H A Dsimplify_cmd.cpp109 pp.set_logic(ctx.get_logic()); in execute()
H A Dcmd_context.h341 symbol const & get_logic() const { return m_logic; } in get_logic() function
H A Dbasic_cmds.cpp204 pp.set_logic(ctx.get_logic());
H A Dtactic_cmds.cpp192 tref->set_logic(ctx.get_logic()); in execute()
/dports/math/py-pysmt/pysmt-0.9.0/pysmt/smtlib/
H A Dscript.py28 from pysmt.oracles import get_logic
254 f_logic = get_logic(formula)
/dports/math/py-pysmt/pysmt-0.9.0/pysmt/solvers/
H A Dbdd.py35 from pysmt.oracles import get_logic
412 logic = get_logic(formula, self.environment)
H A Dmsat.py30 from pysmt.oracles import get_logic
1127 logic = get_logic(formula, self.env)
1207 logic = get_logic(f, self.environment)
H A Dz3.py49 from pysmt.oracles import get_logic
934 logic = get_logic(formula, self.environment)

12