Home
last modified time | relevance | path

Searched refs:d_lit (Results 1 – 8 of 8) sorted by relevance

/dports/misc/otter/otter-3.3f/source/
H A Dcase.c723 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 Dclause.c1242 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 Dsearch_sat.h117 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 Dsearch_impl_base.h55 Literal d_lit; variable
66 operator Literal() { return d_lit; } in Literal()
/dports/math/cvc3/cvc3-2.4.1/src/search/
H A Dsearch_impl_base.cpp76 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 Dsat_proof.h42 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 Ddmfsupport.h538 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 Ddmfsupport.h538 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()