Searched refs:clearSupports (Results 1 – 12 of 12) sorted by relevance
64 head->clearSupports(); in addHeadToUpper()486 h->clearSupports(); in simplifyHead()517 h->clearSupports(); in simplifyHead()
430 void PrgHead::clearSupports() { in clearSupports() function in Clasp::Asp::PrgHead1389 clearSupports(temp); in propagateAssigned()
293 a->clearSupports(); in doUpdateProgram()1281 d->clearSupports(temp); in finalizeDisjunctions()
295 a->clearSupports(); in doUpdateProgram()1323 d->clearSupports(temp); in finalizeDisjunctions()
302 void clearSupports();303 void clearSupports(EdgeVec& to) { to.swap(supports_); clearSupports(); } in clearSupports() function