Home
last modified time | relevance | path

Searched defs:propagateFixpoint (Results 1 – 25 of 36) sorted by relevance

12

/dports/math/clasp/clasp-3.3.5/tests/
H A Dunfounded_check_test.cpp384 bool propagateFixpoint(Solver& s, PostPropagator*) { in propagateFixpoint() function
H A Ddecision_heuristic_test.cpp156 bool propagateFixpoint(Solver& s, PostPropagator*) { s.setStopConflict(); return false; } in propagateFixpoint() function
H A Dfacade_test.cpp83 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 Dunfounded_check_test.cpp384 bool propagateFixpoint(Solver& s, PostPropagator*) { in propagateFixpoint() function
H A Ddecision_heuristic_test.cpp156 bool propagateFixpoint(Solver& s, PostPropagator*) { s.setStopConflict(); return false; } in propagateFixpoint() function
H A Dfacade_test.cpp83 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 Dunfounded_check_test.cpp384 bool propagateFixpoint(Solver& s, PostPropagator*) { in propagateFixpoint() function
H A Ddecision_heuristic_test.cpp156 bool propagateFixpoint(Solver& s, PostPropagator*) { s.setStopConflict(); return false; } in propagateFixpoint() function
H A Dfacade_test.cpp83 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 Dconstraint.h371 virtual bool propagateFixpoint(Solver&, PostPropagator*) { return handleMessages(); } in propagateFixpoint() function
/dports/math/clingo/clingo-5.5.1/clasp/clasp/
H A Dconstraint.h371 virtual bool propagateFixpoint(Solver&, PostPropagator*) { return handleMessages(); } in propagateFixpoint() function
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/
H A Dconstraint.h371 virtual bool propagateFixpoint(Solver&, PostPropagator*) { return handleMessages(); } in propagateFixpoint() function
/dports/math/clasp/clasp-3.3.5/src/
H A Dlookahead.cpp214 bool Lookahead::propagateFixpoint(Solver& s, PostPropagator* ctx) { in propagateFixpoint() function in Clasp::Lookahead
H A Dsolve_algorithms.cpp376 bool propagateFixpoint(Solver&, PostPropagator*){ return InterruptHandler::handleMessages(); } in propagateFixpoint() function
H A Dunfounded_check.cpp227 bool DefaultUnfoundedCheck::propagateFixpoint(Solver& s, PostPropagator* ctx) { in propagateFixpoint() function in Clasp::DefaultUnfoundedCheck
H A Ddependency_graph.cpp661 …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 Dclingo.cpp241 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 Dlookahead.cpp214 bool Lookahead::propagateFixpoint(Solver& s, PostPropagator* ctx) { in propagateFixpoint() function in Clasp::Lookahead
H A Dsolve_algorithms.cpp406 bool propagateFixpoint(Solver&, PostPropagator*){ return InterruptHandler::handleMessages(); } in propagateFixpoint() function
H A Dunfounded_check.cpp227 bool DefaultUnfoundedCheck::propagateFixpoint(Solver& s, PostPropagator* ctx) { in propagateFixpoint() function in Clasp::DefaultUnfoundedCheck
H A Ddependency_graph.cpp661 …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 Dlookahead.cpp214 bool Lookahead::propagateFixpoint(Solver& s, PostPropagator* ctx) { in propagateFixpoint() function in Clasp::Lookahead
H A Dsolve_algorithms.cpp406 bool propagateFixpoint(Solver&, PostPropagator*){ return InterruptHandler::handleMessages(); } in propagateFixpoint() function
H A Dunfounded_check.cpp227 bool DefaultUnfoundedCheck::propagateFixpoint(Solver& s, PostPropagator* ctx) { in propagateFixpoint() function in Clasp::DefaultUnfoundedCheck
H A Ddependency_graph.cpp661 …bool propagateFixpoint(Solver&, PostPropagator*) { return Tester::handleMessages() || !terminate()… in test() function
975 bool AcyclicityCheck::propagateFixpoint(Solver& s, PostPropagator*) { in propagateFixpoint() function in Clasp::AcyclicityCheck

12