Searched refs:enum_consequences (Results 1 – 3 of 3) sorted by relevance
/dports/math/clingo/clingo-5.5.1/clasp/clasp/ |
H A D | enumerator.h | 80 …enum_auto = 0, enum_bt = 1, enum_record = 2, enum_dom_record = 3, enum_consequences = 4, enum_br… enumerator 86 bool consequences() const { return (enumMode & enum_consequences) != 0; } in consequences() 87 bool models() const { return (enumMode < enum_consequences); } in models()
|
/dports/math/clasp/clasp-3.3.5/clasp/ |
H A D | enumerator.h | 80 …enum_auto = 0, enum_bt = 1, enum_record = 2, enum_dom_record = 3, enum_consequences = 4, enum_br… enumerator 86 bool consequences() const { return (enumMode & enum_consequences) != 0; } in consequences() 87 bool models() const { return (enumMode < enum_consequences); } in models()
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/ |
H A D | enumerator.h | 80 …enum_auto = 0, enum_bt = 1, enum_record = 2, enum_dom_record = 3, enum_consequences = 4, enum_br… enumerator 86 bool consequences() const { return (enumMode & enum_consequences) != 0; } in consequences() 87 bool models() const { return (enumMode < enum_consequences); } in models()
|