| /dports/math/clasp/clasp-3.3.5/tests/ |
| H A D | facade_test.cpp | 50 libclasp.prepare();
51 libclasp.prepare();
62 libclasp.prepare();
67 libclasp.prepare();
73 libclasp.prepare();
89 libclasp.prepare();
92 libclasp.update();
98 libclasp.prepare();
195 libclasp.solve();
352 libclasp.update();
[all …]
|
| /dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/tests/ |
| H A D | facade_test.cpp | 50 libclasp.prepare();
51 libclasp.prepare();
62 libclasp.prepare();
67 libclasp.prepare();
73 libclasp.prepare();
89 libclasp.prepare();
92 libclasp.update();
98 libclasp.prepare();
186 libclasp.update();
195 libclasp.solve();
[all …]
|
| /dports/math/clingo/clingo-5.5.1/clasp/tests/ |
| H A D | facade_test.cpp | 50 libclasp.prepare();
51 libclasp.prepare();
62 libclasp.prepare();
67 libclasp.prepare();
73 libclasp.prepare();
89 libclasp.prepare();
92 libclasp.update();
98 libclasp.prepare();
186 libclasp.update();
195 libclasp.solve();
[all …]
|
| /dports/math/clingo/clingo-5.5.1/clasp/examples/ |
| H A D | example4.cpp | 47 Clasp::ClaspFacade libclasp; in example4() local
49 Clasp::Asp::LogicProgram& asp = libclasp.startAsp(config); in example4()
52 libclasp.prepare(); in example4()
55 for (Clasp::ClaspFacade::SolveHandle h = libclasp.solve(Clasp::SolveMode_t::Yield); h.next(); ) { in example4()
57 printModel(libclasp.ctx.output, *h.model()); in example4()
59 excludeModel(*libclasp.ctx.solver(h.model()->sId), *h.model()); in example4()
|
| H A D | example3.cpp | 41 Clasp::ClaspFacade libclasp; in example3() local
44 Clasp::Asp::LogicProgram& asp = libclasp.startAsp(config); in example3()
49 libclasp.prepare(); in example3()
53 Clasp::ClaspFacade::SolveHandle it = libclasp.solve(mode|Clasp::SolveMode_t::Yield); in example3()
56 printModel(libclasp.ctx.output, *it.model()); in example3()
|
| H A D | example2.cpp | 75 Clasp::ClaspFacade libclasp; in example2() local
80 Clasp::Asp::LogicProgram& asp = libclasp.startAsp(config); in example2()
84 libclasp.prepare(); in example2()
88 libclasp.solve(&printer); in example2()
|
| /dports/math/clasp/clasp-3.3.5/examples/ |
| H A D | example4.cpp | 47 Clasp::ClaspFacade libclasp; in example4() local
49 Clasp::Asp::LogicProgram& asp = libclasp.startAsp(config); in example4()
52 libclasp.prepare(); in example4()
55 for (Clasp::ClaspFacade::SolveHandle h = libclasp.solve(Clasp::SolveMode_t::Yield); h.next(); ) { in example4()
57 printModel(libclasp.ctx.output, *h.model()); in example4()
59 excludeModel(*libclasp.ctx.solver(h.model()->sId), *h.model()); in example4()
|
| H A D | example3.cpp | 41 Clasp::ClaspFacade libclasp; in example3() local
44 Clasp::Asp::LogicProgram& asp = libclasp.startAsp(config); in example3()
49 libclasp.prepare(); in example3()
53 Clasp::ClaspFacade::SolveHandle it = libclasp.solve(mode|Clasp::SolveMode_t::Yield); in example3()
56 printModel(libclasp.ctx.output, *it.model()); in example3()
|
| H A D | example2.cpp | 75 Clasp::ClaspFacade libclasp; in example2() local
80 Clasp::Asp::LogicProgram& asp = libclasp.startAsp(config); in example2()
84 libclasp.prepare(); in example2()
88 libclasp.solve(&printer); in example2()
|
| /dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/examples/ |
| H A D | example4.cpp | 47 Clasp::ClaspFacade libclasp; in example4() local
49 Clasp::Asp::LogicProgram& asp = libclasp.startAsp(config); in example4()
52 libclasp.prepare(); in example4()
55 for (Clasp::ClaspFacade::SolveHandle h = libclasp.solve(Clasp::SolveMode_t::Yield); h.next(); ) { in example4()
57 printModel(libclasp.ctx.output, *h.model()); in example4()
59 excludeModel(*libclasp.ctx.solver(h.model()->sId), *h.model()); in example4()
|
| H A D | example3.cpp | 41 Clasp::ClaspFacade libclasp; in example3() local
44 Clasp::Asp::LogicProgram& asp = libclasp.startAsp(config); in example3()
49 libclasp.prepare(); in example3()
53 Clasp::ClaspFacade::SolveHandle it = libclasp.solve(mode|Clasp::SolveMode_t::Yield); in example3()
56 printModel(libclasp.ctx.output, *it.model()); in example3()
|
| H A D | example2.cpp | 75 Clasp::ClaspFacade libclasp; in example2() local
80 Clasp::Asp::LogicProgram& asp = libclasp.startAsp(config); in example2()
84 libclasp.prepare(); in example2()
88 libclasp.solve(&printer); in example2()
|
| /dports/math/clingo/clingo-5.5.1/libgringo/tests/output/ |
| H A D | solver_helper.hh | 123 Clasp::ClaspFacade libclasp; local
128 Clasp::Asp::LogicProgram &prg = libclasp.startAsp(config);
130 libclasp.prepare();
132 libclasp.solve(&printer);
|
| /dports/math/clingo/clingo-5.5.1/clasp/ |
| H A D | README.md | 76 cd libclasp/doc/api
|
| H A D | CHANGES | 299 * moved option handling and output classes to libclasp
|
| /dports/math/clasp/clasp-3.3.5/ |
| H A D | README.md | 76 cd libclasp/doc/api
|
| H A D | CHANGES | 278 * moved option handling and output classes to libclasp
|
| /dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/ |
| H A D | README.md | 76 cd libclasp/doc/api
|
| H A D | CHANGES | 299 * moved option handling and output classes to libclasp
|
| /dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/doc/api/ |
| H A D | clasp.doxy | 35 PROJECT_NAME = libclasp
|
| /dports/math/clasp/clasp-3.3.5/doc/api/ |
| H A D | clasp.doxy | 35 PROJECT_NAME = libclasp
|
| /dports/math/clingo/clingo-5.5.1/clasp/doc/api/ |
| H A D | clasp.doxy | 35 PROJECT_NAME = libclasp
|