Home
last modified time | relevance | path

Searched refs:createConsEnumerator (Results 1 – 9 of 9) sorted by relevance

/dports/math/clingo/clingo-5.5.1/clasp/clasp/
H A Denumerator.h83 static Enumerator* createConsEnumerator(const EnumOptions& opts);
/dports/math/clasp/clasp-3.3.5/clasp/
H A Denumerator.h83 static Enumerator* createConsEnumerator(const EnumOptions& opts);
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/
H A Denumerator.h83 static Enumerator* createConsEnumerator(const EnumOptions& opts);
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/
H A Denumerator.cpp291 else if (opts.consequences()){ return createConsEnumerator(opts); } in createEnumerator()
H A Dcb_enumerator.cpp234 Enumerator* EnumOptions::createConsEnumerator(const EnumOptions& opts) { in createConsEnumerator() function in Clasp::EnumOptions
/dports/math/clasp/clasp-3.3.5/src/
H A Denumerator.cpp291 else if (opts.consequences()){ return createConsEnumerator(opts); } in createEnumerator()
H A Dcb_enumerator.cpp234 Enumerator* EnumOptions::createConsEnumerator(const EnumOptions& opts) { in createConsEnumerator() function in Clasp::EnumOptions
/dports/math/clingo/clingo-5.5.1/clasp/src/
H A Denumerator.cpp291 else if (opts.consequences()){ return createConsEnumerator(opts); } in createEnumerator()
H A Dcb_enumerator.cpp234 Enumerator* EnumOptions::createConsEnumerator(const EnumOptions& opts) { in createConsEnumerator() function in Clasp::EnumOptions