Home
last modified time | relevance | path

Searched defs:handleModel (Results 1 – 6 of 6) sorted by relevance

/dports/math/clingo/clingo-5.5.1/clasp/clasp/
H A Dminimize_constraint.h331 bool handleModel(Solver& s) { commitUpperBound(s); return true; } in handleModel() function
/dports/math/clasp/clasp-3.3.5/clasp/
H A Dminimize_constraint.h331 bool handleModel(Solver& s) { commitUpperBound(s); return true; } in handleModel() function
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/clasp/
H A Dminimize_constraint.h331 bool handleModel(Solver& s) { commitUpperBound(s); return true; } in handleModel() function
/dports/math/clasp/clasp-3.3.5/src/
H A Dminimize_constraint.cpp1073 bool UncoreMinimize::handleModel(Solver& s) { in handleModel() function in Clasp::UncoreMinimize
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/
H A Dminimize_constraint.cpp1074 bool UncoreMinimize::handleModel(Solver& s) { in handleModel() function in Clasp::UncoreMinimize
/dports/math/clingo/clingo-5.5.1/clasp/src/
H A Dminimize_constraint.cpp1074 bool UncoreMinimize::handleModel(Solver& s) { in handleModel() function in Clasp::UncoreMinimize