Lines Matching defs:check
41 /* Class used to check that isl::checked::boolean,
53 mutable std::shared_ptr<checker> check = std::make_shared<checker>();
71 check->checked = true;
75 bool is_error() const { check->checked = true; return val == isl_bool_error; }
76 bool is_false() const { check->checked = true; return val == isl_bool_false; }
77 bool is_true() const { check->checked = true; return val == isl_bool_true; }
80 ISLPP_ASSERT(check->checked, "IMPLEMENTATION ERROR: Unchecked error state");
126 mutable std::shared_ptr<checker> check = std::make_shared<checker>();
141 check->checked = true;
146 check->checked = true;
150 check->checked = true;
164 mutable std::shared_ptr<checker> check = std::make_shared<checker>();
175 check->checked = true;
180 check->checked = true;
185 ISLPP_ASSERT(check->checked,