Searched refs:d_lit (Results 1 – 8 of 8) sorted by relevance
/dports/misc/otter/otter-3.3f/source/ |
H A D | case.c | 723 d_lit = get_literal(); in split_clause() 724 d->first_lit = d_lit; in split_clause() 725 d_lit->container = d; in split_clause() 727 d_lit->atom->occ.lit = d_lit; in split_clause() 728 d_lit->sign = c_lit->sign; in split_clause() 732 d_lit->sign = !d_lit->sign; in split_clause() 818 struct literal *d_lit; in split_atom() 830 d->first_lit = d_lit; in split_atom() 831 d_lit->container = d; in split_atom() 833 d_lit->atom->occ.lit = d_lit; in split_atom() [all …]
|
H A D | clause.c | 1242 struct literal *c_lit, *d_lit; in map_rest() local 1267 d_lit = d->first_lit; in map_rest() 1269 while (d_lit && !subsumed) { in map_rest() 1270 d_atom = d_lit->atom; in map_rest() 1280 d_lit = d_lit->next_lit; in map_rest() 1344 struct literal *d_lit; in forward_subsume() local 1369 d_lit = d->first_lit; in forward_subsume() 1417 d_lit = d_lit->next_lit; in forward_subsume() 1422 d_lit = d->first_lit; in forward_subsume() 1425 d_atom = d_lit->atom; in forward_subsume() [all …]
|
/dports/math/cvc3/cvc3-2.4.1/src/include/ |
H A D | search_sat.h | 117 SAT::Lit d_lit; variable 122 : d_lit(lit), d_priority(priority) {} in LitPriorityPair() 123 SAT::Lit getLit() const { return d_lit; } in getLit() 316 return abs(p1.d_lit.getID()) < abs(p2.d_lit.getID()) || 317 …(abs(p1.d_lit.getID()) == abs(p2.d_lit.getID()) && p1.d_lit.getID() > 0 && (!(p2.d_lit.getID() > 0…
|
H A D | search_impl_base.h | 55 Literal d_lit; variable 66 operator Literal() { return d_lit; } in Literal()
|
/dports/math/cvc3/cvc3-2.4.1/src/search/ |
H A D | search_impl_base.cpp | 76 d_lit.count()++; in Splitter() 77 TRACE("Splitter", "Splitter(", d_lit, ")"); in Splitter() 82 : d_lit(s.d_lit) { in Splitter() 83 d_lit.count()++; in Splitter() 84 TRACE("Splitter", "Splitter[copy](", d_lit, ")"); in Splitter() 91 d_lit.count()--; in operator =() 92 d_lit = s.d_lit; in operator =() 93 d_lit.count()++; in operator =() 94 TRACE("Splitter", "Splitter[assign](", d_lit, ")"); in operator =() 100 d_lit.count()--; in ~Splitter() [all …]
|
/dports/math/cvc3/cvc3-2.4.1/src/sat/ |
H A D | sat_proof.h | 42 SAT::Lit d_lit; variable 53 d_left(left), d_right(right), d_lit(lit) { in SatProofNode() 62 SAT::Lit getLit() { DebugAssert(!isLeaf(), "SatProofNode: getLit"); return d_lit; } in getLit()
|
/dports/games/supertuxkart/SuperTuxKart-1.2-src/lib/irrlicht/source/Irrlicht/ |
H A D | dmfsupport.h | 538 s32 d_lit=0; in GetDMFLights() local 566 lights[d_lit].radius = (float)atof(temp[4].c_str()); in GetDMFLights() 567 lights[d_lit].pos.set((float)atof(temp[5].c_str()), in GetDMFLights() 571 lights[d_lit].diffuseColor = video::SColorf( in GetDMFLights() 575 lights[d_lit].specularColor = video::SColorf( in GetDMFLights() 579 d_lit++; in GetDMFLights()
|
/dports/x11-toolkits/irrlicht/irrlicht-1.8.5/source/Irrlicht/ |
H A D | dmfsupport.h | 538 s32 d_lit=0; in GetDMFLights() local 566 lights[d_lit].radius = (float)atof(temp[4].c_str()); in GetDMFLights() 567 lights[d_lit].pos.set((float)atof(temp[5].c_str()), in GetDMFLights() 571 lights[d_lit].diffuseColor = video::SColorf( in GetDMFLights() 575 lights[d_lit].specularColor = video::SColorf( in GetDMFLights() 579 d_lit++; in GetDMFLights()
|