Home
last modified time | relevance | path

Searched refs:isSolverOption (Results 1 – 3 of 3) sorted by relevance

/dports/math/clasp/clasp-3.3.5/src/
H A Dclasp_options.cpp425 static inline bool isSolverOption(int k) { return k >= option_category_solver_begin && k < option_c… in isSolverOption() function
937 …== testerConfig() && !isTesterOption(o)) || ((cliMode & mode_solver) != 0 && !isSolverOption(o))) { in applyActive()
940 else if (isSolverOption(o)) { in applyActive()
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/
H A Dclasp_options.cpp425 static inline bool isSolverOption(int k) { return k >= option_category_solver_begin && k < option_c… in isSolverOption() function
937 …== testerConfig() && !isTesterOption(o)) || ((cliMode & mode_solver) != 0 && !isSolverOption(o))) { in applyActive()
940 else if (isSolverOption(o)) { in applyActive()
/dports/math/clingo/clingo-5.5.1/clasp/src/
H A Dclasp_options.cpp425 static inline bool isSolverOption(int k) { return k >= option_category_solver_begin && k < option_c… in isSolverOption() function
937 …== testerConfig() && !isTesterOption(o)) || ((cliMode & mode_solver) != 0 && !isSolverOption(o))) { in applyActive()
940 else if (isSolverOption(o)) { in applyActive()