/dports/math/clasp/clasp-3.3.5/tests/ |
H A D | unfounded_check_test.cpp | 384 bool propagateFixpoint(Solver& s, PostPropagator*) { in propagateFixpoint() function
|
H A D | decision_heuristic_test.cpp | 156 bool propagateFixpoint(Solver& s, PostPropagator*) { s.setStopConflict(); return false; } in propagateFixpoint() function
|
H A D | facade_test.cpp | 83 bool propagateFixpoint(Solver& s, PostPropagator*) { in propagateFixpoint() function 793 virtual bool propagateFixpoint(Solver&, Clasp::PostPropagator*) { return true; } in propagateFixpoint() function 944 bool propagateFixpoint(Solver& s, Clasp::PostPropagator* ctx) { in propagateFixpoint() function 970 bool propagateFixpoint(Solver& s, Clasp::PostPropagator*) { in propagateFixpoint() function
|
/dports/math/clingo/clingo-5.5.1/clasp/tests/ |
H A D | unfounded_check_test.cpp | 384 bool propagateFixpoint(Solver& s, PostPropagator*) { in propagateFixpoint() function
|
H A D | decision_heuristic_test.cpp | 156 bool propagateFixpoint(Solver& s, PostPropagator*) { s.setStopConflict(); return false; } in propagateFixpoint() function
|
H A D | facade_test.cpp | 83 bool propagateFixpoint(Solver& s, PostPropagator*) { in propagateFixpoint() function 954 virtual bool propagateFixpoint(Solver&, Clasp::PostPropagator*) { return true; } in propagateFixpoint() function 1123 bool propagateFixpoint(Solver& s, Clasp::PostPropagator* ctx) { in propagateFixpoint() function 1149 bool propagateFixpoint(Solver& s, Clasp::PostPropagator*) { in propagateFixpoint() function
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/tests/ |
H A D | unfounded_check_test.cpp | 384 bool propagateFixpoint(Solver& s, PostPropagator*) { in propagateFixpoint() function
|
H A D | decision_heuristic_test.cpp | 156 bool propagateFixpoint(Solver& s, PostPropagator*) { s.setStopConflict(); return false; } in propagateFixpoint() function
|
H A D | facade_test.cpp | 83 bool propagateFixpoint(Solver& s, PostPropagator*) { in propagateFixpoint() function 954 virtual bool propagateFixpoint(Solver&, Clasp::PostPropagator*) { return true; } in propagateFixpoint() function 1123 bool propagateFixpoint(Solver& s, Clasp::PostPropagator* ctx) { in propagateFixpoint() function 1149 bool propagateFixpoint(Solver& s, Clasp::PostPropagator*) { in propagateFixpoint() function
|
/dports/math/clasp/clasp-3.3.5/clasp/ |
H A D | constraint.h | 371 virtual bool propagateFixpoint(Solver&, PostPropagator*) { return handleMessages(); } in propagateFixpoint() function
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp/ |
H A D | constraint.h | 371 virtual bool propagateFixpoint(Solver&, PostPropagator*) { return handleMessages(); } in propagateFixpoint() function
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/ |
H A D | constraint.h | 371 virtual bool propagateFixpoint(Solver&, PostPropagator*) { return handleMessages(); } in propagateFixpoint() function
|
/dports/math/clasp/clasp-3.3.5/src/ |
H A D | lookahead.cpp | 214 bool Lookahead::propagateFixpoint(Solver& s, PostPropagator* ctx) { in propagateFixpoint() function in Clasp::Lookahead
|
H A D | solve_algorithms.cpp | 376 bool propagateFixpoint(Solver&, PostPropagator*){ return InterruptHandler::handleMessages(); } in propagateFixpoint() function
|
H A D | unfounded_check.cpp | 227 bool DefaultUnfoundedCheck::propagateFixpoint(Solver& s, PostPropagator* ctx) { in propagateFixpoint() function in Clasp::DefaultUnfoundedCheck
|
H A D | dependency_graph.cpp | 661 …bool propagateFixpoint(Solver&, PostPropagator*) { return Tester::handleMessages() || !terminate()… in test() function 975 bool AcyclicityCheck::propagateFixpoint(Solver& s, PostPropagator*) { in propagateFixpoint() function in Clasp::AcyclicityCheck
|
H A D | clingo.cpp | 241 bool ClingoPropagator::propagateFixpoint(Clasp::Solver& s, Clasp::PostPropagator*) { in propagateFixpoint() function in Clasp::ClingoPropagator
|
/dports/math/clingo/clingo-5.5.1/clasp/src/ |
H A D | lookahead.cpp | 214 bool Lookahead::propagateFixpoint(Solver& s, PostPropagator* ctx) { in propagateFixpoint() function in Clasp::Lookahead
|
H A D | solve_algorithms.cpp | 406 bool propagateFixpoint(Solver&, PostPropagator*){ return InterruptHandler::handleMessages(); } in propagateFixpoint() function
|
H A D | unfounded_check.cpp | 227 bool DefaultUnfoundedCheck::propagateFixpoint(Solver& s, PostPropagator* ctx) { in propagateFixpoint() function in Clasp::DefaultUnfoundedCheck
|
H A D | dependency_graph.cpp | 661 …bool propagateFixpoint(Solver&, PostPropagator*) { return Tester::handleMessages() || !terminate()… in test() function 975 bool AcyclicityCheck::propagateFixpoint(Solver& s, PostPropagator*) { in propagateFixpoint() function in Clasp::AcyclicityCheck
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/ |
H A D | lookahead.cpp | 214 bool Lookahead::propagateFixpoint(Solver& s, PostPropagator* ctx) { in propagateFixpoint() function in Clasp::Lookahead
|
H A D | solve_algorithms.cpp | 406 bool propagateFixpoint(Solver&, PostPropagator*){ return InterruptHandler::handleMessages(); } in propagateFixpoint() function
|
H A D | unfounded_check.cpp | 227 bool DefaultUnfoundedCheck::propagateFixpoint(Solver& s, PostPropagator* ctx) { in propagateFixpoint() function in Clasp::DefaultUnfoundedCheck
|
H A D | dependency_graph.cpp | 661 …bool propagateFixpoint(Solver&, PostPropagator*) { return Tester::handleMessages() || !terminate()… in test() function 975 bool AcyclicityCheck::propagateFixpoint(Solver& s, PostPropagator*) { in propagateFixpoint() function in Clasp::AcyclicityCheck
|