| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/Basics/ |
| H A D | UISat.hs | 47 test1 = do setLogic Logic_ALL
51 test2 = do setLogic Logic_ALL
55 test3 = do setLogic Logic_ALL
|
| H A D | Exceptions.hs | 52 where exc = do setLogic QF_LIA
62 where z3ExcCatch = do setLogic QF_LIA
|
| /dports/cad/ktechlab/ktechlab-0.50.0/src/electronics/simulation/ |
| H A D | logic.cpp | 43 setLogic(getConfig()); in LogicIn()
88 void LogicIn::setLogic( LogicConfig config ) in setLogic() function in LogicIn
150 setLogic(getConfig()); in LogicOut()
230 void LogicOut::setLogic( LogicConfig config ) in setLogic() function in LogicOut
|
| H A D | logic.h | 61 virtual void setLogic( LogicConfig config );
125 void setLogic( LogicConfig config ) override;
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/Arrays/ |
| H A D | Query.hs | 58 setLogic QF_UFBV
67 setLogic QF_UFBV
77 setLogic QF_UFBV
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/TestSuite/Queries/ |
| H A D | UISat.hs | 58 test1 = do setLogic Logic_ALL
63 test2 = do setLogic Logic_ALL
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/what4-1.1/src/What4/Solver/ |
| H A D | Boolector.hs | 107 SMT2.setLogic writer SMT2.allSupported
120 SMT2.setLogic writer SMT2.allSupported
|
| H A D | CVC4.hs | 135 SMT2.setLogic c SMT2.allSupported
167 SMT2.setLogic writer SMT2.allSupported
206 SMT2.setLogic writer SMT2.allSupported
|
| /dports/math/cvc4/CVC4-1.7/test/system/ |
| H A D | sep_log_api.cpp | 45 smt.setLogic("QF_IDL"); in validate_exception()
135 smt.setLogic("QF_ALL_SUPPORTED"); in validate_getters()
|
| /dports/java/springframework31/spring-framework-3.1.4.RELEASE/projects/org.springframework.context/src/test/java/org/springframework/context/support/ |
| H A D | Assembler.java | 32 public void setLogic(Logic l) { in setLogic() method in Assembler
|
| /dports/math/cvc4/CVC4-1.7/src/smt/ |
| H A D | smt_engine.h | 473 void setLogic(
479 void setLogic(const char* logic) /* throw(ModalException, LogicException) */;
484 void setLogic(const LogicInfo& logic) /* throw(ModalException) */;
|
| H A D | smt_engine.i | 50 %ignore CVC4::SmtEngine::setLogic(const char*);
|
| /dports/math/cvc4/CVC4-1.7/examples/api/ |
| H A D | extract-new.cpp | 28 slv.setLogic("QF_BV"); // Set the logic in main()
|
| H A D | extract.cpp | 28 smt.setLogic("QF_BV"); // Set the logic in main()
|
| H A D | linear_arith-new.cpp | 29 slv.setLogic("QF_LIRA"); // Set the logic in main()
|
| H A D | bitvectors_and_arrays-new.cpp | 31 slv.setLogic("QF_AUFBV"); // Set the logic in main()
|
| H A D | linear_arith.cpp | 29 smt.setLogic("QF_LIRA"); // Set the logic in main()
|
| H A D | strings-new.cpp | 29 slv.setLogic("S"); in main()
|
| H A D | bitvectors_and_arrays.cpp | 30 smt.setLogic("QF_AUFBV"); // Set the logic in main()
|
| /dports/math/cvc4/CVC4-1.7/src/parser/smt1/ |
| H A D | smt1.h | 120 void setLogic(const std::string& name);
|
| /dports/japanese/qolibri/qolibri-2.1.4/src/ |
| H A D | model.h | 60 void setLogic(int logic);
|
| H A D | model.cpp | 176 setLogic((int)m.logic); in setMethod()
191 void Model::setLogic(int logic) in setLogic() function in Model
|
| /dports/math/cvc4/CVC4-1.7/test/java/ |
| H A D | LinearArith.java | 39 smt.setLogic("QF_LIRA"); // Set the logic in evaluatesExpression()
|
| /dports/math/cvc4/CVC4-1.7/examples/api/java/ |
| H A D | LinearArith.java | 27 smt.setLogic("QF_LIRA"); // Set the logic in main()
|
| H A D | BitVectors.java | 26 smt.setLogic("QF_BV"); // Set the logic in main()
|