#include <clasp/logic_program.h>#include <clasp/shared_context.h>#include <clasp/solver.h>#include <clasp/minimize_constraint.h>#include <clasp/util/misc_types.h>#include <clasp/asp_preprocessor.h>#include <clasp/clause.h>#include <clasp/dependency_graph.h>#include <clasp/parser.h>#include <stdexcept>#include <sstream>#include <climits>
Include dependency graph for logic_program.cpp:
Go to the source code of this file.
Namespaces | |
| namespace | Clasp |
| namespace | Clasp::Asp |
Defines | |
| #define | check_modular(x, atomId) (void)( (!!(x)) || (throw RedefinitionError((atomId), this->getAtomName((atomId))), 0)) |
| #define | check_not_frozen() CLASP_ASSERT_CONTRACT_MSG(!frozen(), "Can't update frozen program!") |
| #define | MAP_IF(x, A) if (std::strcmp(key, x) == 0) return double( (A) ) |
| #define | RETURN_IF(x) if (std::strcmp(key, #x) == 0) return double(x) |
Define Documentation
| #define check_modular | ( | x, | |
| atomId | |||
| ) | (void)( (!!(x)) || (throw RedefinitionError((atomId), this->getAtomName((atomId))), 0)) |
Definition at line 395 of file logic_program.cpp.
| #define check_not_frozen | ( | ) | CLASP_ASSERT_CONTRACT_MSG(!frozen(), "Can't update frozen program!") |
Definition at line 394 of file logic_program.cpp.
| #define MAP_IF | ( | x, | |
| A | |||
| ) | if (std::strcmp(key, x) == 0) return double( (A) ) |
| #define RETURN_IF | ( | x | ) | if (std::strcmp(key, #x) == 0) return double(x) |
Variable Documentation
| const BodyList* bodies_ |
Definition at line 120 of file logic_program.cpp.