Home
last modified time | relevance | path

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

/dports/math/clingo/clingo-5.5.1/clasp/clasp/
H A Denumerator.h231 …unsat_sync = 3u, /*!< Similar to unsat_cont but additionally requires synchronization among thread… enumerator
/dports/math/clasp/clasp-3.3.5/clasp/
H A Denumerator.h231 …unsat_sync = 3u, /*!< Similar to unsat_cont but additionally requires synchronization among thread… enumerator
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/
H A Denumerator.h231 …unsat_sync = 3u, /*!< Similar to unsat_cont but additionally requires synchronization among thread… enumerator
/dports/math/clingo/clingo-5.5.1/clasp/src/
H A Dcb_enumerator.cpp244 return algo_ == Default ? Enumerator::unsatType() : Enumerator::unsat_sync; in unsatType()
H A Dparallel_solve.cpp699 if (supUnsat == Enumerator::unsat_sync) { in commitUnsat()
/dports/math/clasp/clasp-3.3.5/src/
H A Dcb_enumerator.cpp244 return algo_ == Default ? Enumerator::unsatType() : Enumerator::unsat_sync; in unsatType()
H A Dparallel_solve.cpp695 if (supUnsat == Enumerator::unsat_sync) { in commitUnsat()
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/
H A Dcb_enumerator.cpp244 return algo_ == Default ? Enumerator::unsatType() : Enumerator::unsat_sync; in unsatType()
H A Dparallel_solve.cpp699 if (supUnsat == Enumerator::unsat_sync) { in commitUnsat()