1 #ifndef __CONSTRAINTS_H__ 2 #define __CONSTRAINTS_H__ 7 #include "Disposable.h" 8 #include "Expression.h" 20 std::string get_type() {
return type_; };
21 std::string get_id() {
return id_; };
22 std::string get_domain() {
return domain_; };
37 if (this->quantifiers_) {
38 for(std::vector<QuantifierEntry*>::iterator it = quantifiers_->begin(); it != quantifiers_->end(); it++) {
41 delete this->quantifiers_;
45 for(std::vector<Inter4ql::Value*>::iterator it = values_->begin(); it != values_->end(); it++) {
55 std::vector<QuantifierEntry*>* get_quantifiers() {
return quantifiers_; };
57 std::vector<Inter4ql::Value*>* get_values() {
return values_; };
59 std::vector<QuantifierEntry*>* quantifiers_;
61 std::vector<Inter4ql::Value *>* values_;
64 typedef std::vector<Expression*>* Ctraints;
83 Ctraints get_soft_constraints();
88 Ctraints get_hard_constraints();
Definition: Constraints.h:14
Definition: Expression.h:10
Definition: Application.cc:37
static bool errorMode
if true, destructors in objects will not free their internals
Definition: Disposable.h:72
Definition: Constraints.h:29
Output class handles standard output of interpreter.
Definition: Constraints.h:68