Searched refs:eraseHead (Results 1 – 10 of 10) sorted by relevance
43 void eraseHead(void);134 void voidSList::eraseHead(void) in eraseHead() function189 void eraseHead(void) in eraseHead() function190 { delete ((T*)voidSList::head->data); voidSList::eraseHead(); } in eraseHead()
129 using eraseHead = typedef in tf::dsl::Unique133 using type = typename eraseHead::template prepend<typename IN::head>;
807 if (eraseHead(x)) { in removeHead()819 bool PrgBody::eraseHead(PrgEdge h) { in eraseHead() function in Clasp::Asp::PrgBody1227 if (h->value() == value_false && eraseHead(PrgEdge::newEdge(*h, t)) && t == PrgEdge::Normal) { in propagateAssigned()
531 bool eraseHead(PrgEdge h);