Home
last modified time | relevance | path

Searched defs:hasHeads (Results 1 – 3 of 3) sorted by relevance

/dports/math/clasp/clasp-3.3.5/clasp/
H A Dlogic_program_types.h417 bool hasHeads() const { return isSmallHead() ? head_ != 0 : !largeHead()->empty(); } in hasHeads() function
/dports/math/clingo/clingo-5.5.1/clasp/clasp/
H A Dlogic_program_types.h417 bool hasHeads() const { return isSmallHead() ? head_ != 0 : !largeHead()->empty(); } in hasHeads() function
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/
H A Dlogic_program_types.h417 bool hasHeads() const { return isSmallHead() ? head_ != 0 : !largeHead()->empty(); } in hasHeads() function