Home
last modified time | relevance | path

Searched refs:supportsParallel (Results 1 – 15 of 15) sorted by relevance

/dports/math/clasp/clasp-3.3.5/clasp/
H A Dmodel_enumerators.h100 …bool supportsParallel() const { return !projectionEnabled() || strategy() != strategy_backtrack;… in supportsParallel() function
H A Denumerator.h238 virtual bool supportsParallel() const { return true; } in supportsParallel() function
/dports/math/clingo/clingo-5.5.1/clasp/clasp/
H A Dmodel_enumerators.h100 …bool supportsParallel() const { return !projectionEnabled() || strategy() != strategy_backtrack;… in supportsParallel() function
H A Denumerator.h238 virtual bool supportsParallel() const { return true; } in supportsParallel() function
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/
H A Dmodel_enumerators.h100 …bool supportsParallel() const { return !projectionEnabled() || strategy() != strategy_backtrack;… in supportsParallel() function
H A Denumerator.h238 virtual bool supportsParallel() const { return true; } in supportsParallel() function
/dports/math/clasp/clasp-3.3.5/src/
H A Dmodel_enumerators.cpp259 if (ctx.concurrency() > 1 && !ModelEnumerator::supportsParallel()) { in doInit()
H A Dparallel_solve.cpp341 if (!enumerator().supportsParallel() && numThreads() > 1) { in beginSolve()
H A Dclasp_facade.cpp784 if (config.solve.numSolver() > 1 && !e->supportsParallel()) { in init()
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/
H A Dmodel_enumerators.cpp259 if (ctx.concurrency() > 1 && !ModelEnumerator::supportsParallel()) { in doInit()
H A Dparallel_solve.cpp341 if (!enumerator().supportsParallel() && numThreads() > 1) { in beginSolve()
H A Dclasp_facade.cpp811 if (config.solve.numSolver() > 1 && !e->supportsParallel()) { in init()
/dports/math/clingo/clingo-5.5.1/clasp/src/
H A Dmodel_enumerators.cpp259 if (ctx.concurrency() > 1 && !ModelEnumerator::supportsParallel()) { in doInit()
H A Dparallel_solve.cpp341 if (!enumerator().supportsParallel() && numThreads() > 1) { in beginSolve()
H A Dclasp_facade.cpp811 if (config.solve.numSolver() > 1 && !e->supportsParallel()) { in init()