Searched refs:isSatisfy (Results 1 – 9 of 9) sorted by relevance
74 bool isSatisfy() const { return m_goal.isSatisfy(this); } in isSatisfy() function
13 virtual bool isSatisfy(Cube *model) const = 0;
12 virtual bool isSatisfy(Cube *model) const in isSatisfy() function
13 virtual bool isSatisfy(Cube *model) const in isSatisfy() function
27 bool isSatisfy(const Cube *model) const;
16 virtual bool isSatisfy(Cube *model) const in isSatisfy() function
45 Goal::isSatisfy(const Cube *model) const in isSatisfy() function in Goal
471 if (!(*i)->isSatisfy()) { in isSolved()
335 if (cond.isSatisfy(m_model)) { in isOnCond()