| /dports/math/cvc4/CVC4-1.7/src/decision/ |
| H A D | decision_engine.cpp | 29 DecisionEngine::DecisionEngine(context::Context *sc, in DecisionEngine() function in CVC4::DecisionEngine
45 void DecisionEngine::init() in init()
66 void DecisionEngine::enableStrategy(DecisionStrategy* ds) in enableStrategy()
71 void DecisionEngine::clearStrategies(){ in clearStrategies()
79 bool DecisionEngine::isRelevant(SatVariable var) in isRelevant()
90 SatValue DecisionEngine::getPolarity(SatVariable var) in getPolarity()
101 void DecisionEngine::addAssertions( in addAssertions()
|
| H A D | decision_strategy.h | 28 class DecisionEngine; variable
38 DecisionEngine* d_decisionEngine;
40 DecisionStrategy(DecisionEngine* de, context::Context *c) : in DecisionStrategy()
55 ITEDecisionStrategy(DecisionEngine* de, context::Context *c) : in ITEDecisionStrategy()
67 RelevancyStrategy(DecisionEngine* de, context::Context *c) : in RelevancyStrategy()
|
| H A D | decision_engine.h | 40 class DecisionEngine {
60 DecisionEngine();
68 DecisionEngine(context::Context *sc, context::UserContext *uc);
71 ~DecisionEngine() { in ~DecisionEngine()
|
| H A D | justification_heuristic.h | 115 JustificationHeuristic(CVC4::DecisionEngine* de,
|
| H A D | justification_heuristic.cpp | 31 JustificationHeuristic::JustificationHeuristic(CVC4::DecisionEngine* de, in JustificationHeuristic()
|
| /dports/math/cvc3/cvc3-2.4.1/src/search/ |
| H A D | decision_engine.cpp | 32 DecisionEngine::DecisionEngine(TheoryCore* core, SearchImplBase* se) in DecisionEngine() function in DecisionEngine
55 Expr DecisionEngine::findSplitterRec(const Expr& e) in findSplitterRec()
128 void DecisionEngine::pushDecision(Expr splitter, bool whichCase) in pushDecision()
150 void DecisionEngine::popDecision() in popDecision()
157 void DecisionEngine::popTo(int dl) in popTo()
164 Expr DecisionEngine::lastSplitter() in lastSplitter()
|
| H A D | decision_engine.h | 29 class DecisionEngine {
60 DecisionEngine(TheoryCore* core, SearchImplBase* se);
61 virtual ~DecisionEngine() { } in ~DecisionEngine()
|
| H A D | decision_engine_dfs.h | 41 class DecisionEngineDFS : public DecisionEngine {
|
| H A D | decision_engine_dfs.cpp | 50 : DecisionEngine(core, se) in DecisionEngineDFS()
|
| H A D | decision_engine_caching.h | 24 class DecisionEngineCaching : public DecisionEngine {
|
| H A D | decision_engine_mbtf.h | 24 class DecisionEngineMBTF : public DecisionEngine {
|
| /dports/devel/py-flake8/flake8-4.0.1/tests/unit/ |
| H A D | test_decision_engine.py | 37 decider = style_guide.DecisionEngine(
59 decider = style_guide.DecisionEngine(
86 decider = style_guide.DecisionEngine(
100 decider = style_guide.DecisionEngine(
122 decider = style_guide.DecisionEngine(create_options(select=select_list))
190 decider = style_guide.DecisionEngine(
401 decider = style_guide.DecisionEngine(
|
| /dports/math/cvc4/CVC4-1.7/src/prop/ |
| H A D | theory_proxy.h | 41 class DecisionEngine; variable
56 DecisionEngine* decisionEngine,
114 DecisionEngine* d_decisionEngine;
|
| H A D | prop_engine.h | 38 class DecisionEngine; variable
68 DecisionEngine *d_decisionEngine;
101 PropEngine(TheoryEngine*, DecisionEngine*, context::Context* satContext,
|
| H A D | theory_proxy.cpp | 40 DecisionEngine* decisionEngine, in TheoryProxy()
|
| H A D | prop_engine.cpp | 78 PropEngine::PropEngine(TheoryEngine* te, DecisionEngine *de, Context* satContext, in PropEngine()
|
| /dports/math/cvc3/cvc3-2.4.1/src/include/ |
| H A D | search_simple.h | 29 class DecisionEngine; variable
50 DecisionEngine* d_decisionEngine;
|
| H A D | search_fast.h | 37 class DecisionEngine; variable
97 DecisionEngine *d_decisionEngine;
|
| H A D | search_impl_base.h | 38 friend class DecisionEngine; variable
|
| /dports/devel/py-flake8/flake8-4.0.1/src/flake8/ |
| H A D | style_guide.py | 149 class DecisionEngine: class
336 decider: Optional[DecisionEngine] = None, argument
345 self.decider = decider or DecisionEngine(options)
455 decider: Optional[DecisionEngine] = None, argument
464 self.decider = decider or DecisionEngine(options)
|
| /dports/math/cvc4/CVC4-1.7/src/preprocessing/ |
| H A D | preprocessing_pass_context.h | 48 DecisionEngine* getDecisionEngine() { return d_smt->d_decisionEngine; } in getDecisionEngine()
|
| /dports/math/cvc4/CVC4-1.7/src/theory/ |
| H A D | theory_engine.h | 101 class DecisionEngine; variable
120 DecisionEngine* d_decisionEngine;
506 inline void setDecisionEngine(DecisionEngine* decisionEngine) { in setDecisionEngine()
|
| /dports/math/cvc4/CVC4-1.7/src/smt/ |
| H A D | smt_engine.h | 59 class DecisionEngine; variable
141 DecisionEngine* d_decisionEngine;
|
| /dports/devel/py-flake8/flake8-4.0.1/docs/source/internal/ |
| H A D | start-to-finish.rst | 94 relies on a :class:`~flake8.style_guide.DecisionEngine` instance to determine
|
| /dports/devel/py-pep8-naming/pep8-naming-0.12.1/src/ |
| H A D | pep8ext_naming.py | 184 engine = style_guide.DecisionEngine(options)
|