| /dports/math/cvc3/cvc3-2.4.1/src/include/ |
| H A D | theorem_manager.h | 41 ContextManager* d_cm;
75 ContextManager* getCM() const { return d_cm; } in getCM()
|
| H A D | expr_manager.h | 65 ContextManager* d_cm; //!< For backtracking attributes variable
322 ContextManager* getCM() const { return d_cm; } in getCM()
324 Context* getCurrentContext() const { return d_cm->getCurrentContext(); } in getCurrentContext()
326 int scopelevel() { return d_cm->scopeLevel(); } in scopelevel()
|
| H A D | context.h | 308 ContextManager* d_cm; variable
331 ContextManager* getCM() const { return d_cm; } in getCM()
|
| H A D | theory_core.h | 57 ContextManager* d_cm; variable
348 ContextManager* getCM() const { return d_cm; } in getCM()
|
| H A D | dpllt_basic.h | 34 CVC3::ContextManager* d_cm; variable
|
| H A D | variable.h | 367 ContextManager* d_cm;
413 ContextManager* getCM() const { return d_cm; } in getCM()
|
| H A D | vcl.h | 52 ContextManager* d_cm; variable
|
| /dports/math/cvc3/cvc3-2.4.1/src/vcl/ |
| H A D | vcl.cpp | 455 d_cm = new ContextManager(); in init()
540 d_cm->push(); in init()
554 d_cm->popto(0); in destroy()
603 delete d_cm; in destroy()
2327 return d_cm->scopeLevel(); in scopeLevel()
2334 d_cm->push(); in pushScope()
2352 else d_cm->pop(); in popScope()
2365 d_cm->popto(0); in poptoScope()
2366 d_cm->push(); in poptoScope()
2368 else d_cm->popto(toLevel); in poptoScope()
[all …]
|
| /dports/math/cvc3/cvc3-2.4.1/src/theorem/ |
| H A D | theorem_manager.cpp | 49 : d_cm(cm), d_em(em), d_flags(flags), in TheoremManager()
|
| /dports/math/cvc3/cvc3-2.4.1/src/sat/ |
| H A D | dpllt_basic.cpp | 241 : DPLLT(theoryAPI, decider), d_cm(cm), d_ready(true), in DPLLTBasic()
250 d_assertions = new CD_CNF_Formula(d_cm->getCurrentContext()); in DPLLTBasic()
443 d_assertions = new CD_CNF_Formula(d_cm->getCurrentContext()); in checkSat()
|
| /dports/math/cvc3/cvc3-2.4.1/src/search/ |
| H A D | variable.cpp | 370 : d_cm(cm), d_rules(rules), d_disableGC(false), d_postponeGC(false) { in VariableManager()
376 d_notifyObj = new VariableManagerNotifyObj(this, d_cm->getCurrentContext()); in VariableManager()
|
| H A D | search_sat.cpp | 73 ContextManager* d_cm; member in CVC3::SearchSatTheoryAPI
77 : d_cm(ss->theoryCore()->getCM()), d_ss(ss) {} in SearchSatTheoryAPI()
79 void push() { return d_cm->push(); } in push()
80 void pop() { return d_cm->pop(); } in pop()
|
| /dports/math/cvc3/cvc3-2.4.1/src/expr/ |
| H A D | expr_manager.cpp | 72 : d_cm(cm), d_index(0), d_flagCounter(1), d_prettyPrinter(NULL), in ExprManager()
87 d_notifyObj = new ExprManagerNotifyObj(this, d_cm->getCurrentContext()); in ExprManager()
|
| /dports/biology/gemma/GEMMA-0.98.3/src/ |
| H A D | vc.cpp | 659 double af = 0, var_x = 0, d_pos, d_cm; in ReadFile_cor() local
688 d_cm = 0; in ReadFile_cor()
704 d_cm = atof(ch_ptr); in ReadFile_cor()
744 if (d_cm > 0) { in ReadFile_cor()
745 vec_cm.push_back(d_cm); in ReadFile_cor()
747 vec_cm.push_back(d_cm); in ReadFile_cor()
1051 double d_pos1, d_pos2, d_pos, d_cm1, d_cm2, d_cm; in ReadFile_cor() local
1149 d_cm = abs(d_cm2 - d_cm1); in ReadFile_cor()
1165 min((int)floor(d_cm / window_cm * bin_size), (int)bin_size); in ReadFile_cor()
|
| /dports/math/cvc3/cvc3-2.4.1/src/context/ |
| H A D | context.cpp | 209 : d_cm(cm), d_name(name), d_id(id) in Context()
|
| /dports/graphics/blender/blender-2.91.0/release/scripts/addons/measureit/ |
| H A D | measureit_geometry.py | 1413 d_cm = value * (100 ** factor)
1414 tx_dist = fmt % d_cm
1441 d_cm = value * (100 ** factor)
1442 tx_dist = fmt % d_cm
|
| /dports/math/cvc3/cvc3-2.4.1/src/theory_core/ |
| H A D | theory_core.cpp | 704 : Theory(), d_cm(cm), d_tm(tm), d_flags(flags), d_statistics(statistics), in TheoryCore()
4216 DebugAssert(e.getScope() <= d_cm->scopeLevel(),
4218 +"\n scopeLevel="+int2string(d_cm->scopeLevel())
|