#1721 Selecting arcs in mirror constraint is too long and removes other edges

[modules/shaper.git] / src / SketchSolver / SketchSolver_ISolver.h

diff --git a/src/SketchSolver/SketchSolver_ISolver.h b/src/SketchSolver/SketchSolver_ISolver.h
index a23807ee31275c6511283aa0fac945a84e1fa0c3..cd525405737336e56b39985edd012189e9797934 100644 (file)
--- a/src/SketchSolver/SketchSolver_ISolver.h
+++ b/src/SketchSolver/SketchSolver_ISolver.h
@@ -47,6 +47,12 @@ public:
   /// \brief Revert solution to initial values
   virtual void undo() = 0;
 
+  /// \brief Check the constraint is conflicted with others
+  virtual bool isConflicting(const ConstraintID& theConstraint) const = 0;
+
+  /// \brief Degrees of freedom
+  virtual int dof() const = 0;
+
 protected:
   GroupID myGroup;       ///< ID of the group to be solved
   bool    myFindFaileds; ///< flag to find conflicting or inappropriate constraints