Salome HOME
PlaneGCS hangs up (issue #1183)
[modules/shaper.git] / src / SketchSolver / SketchSolver_Manager.h
1 // Copyright (C) 2014-20xx CEA/DEN, EDF R&D
2
3 // File:    SketchSolver_Manager.h
4 // Created: 08 May 2014
5 // Author:  Artem ZHIDKOV
6
7 #ifndef SketchSolver_Manager_H_
8 #define SketchSolver_Manager_H_
9
10 #include "SketchSolver.h"
11 #include <SketchSolver_Group.h>
12 #include <SketchSolver_Builder.h>
13
14 #include <Events_Listener.h>
15 #include <SketchPlugin_Constraint.h>
16
17 #include <vector>
18 #include <set>
19
20 /** \class   SketchSolver_Manager
21  *  \ingroup Plugins
22  *  \brief   Listens the changes of SketchPlugin features and transforms the Constraint
23  *           feature into the format understandable by SolveSpace library.
24  *
25  *  Constraints created for SolveSpace library are divided into the groups.
26  *  The division order based on connectedness of the features by the constraints.
27  *  The groups may be fused or separated according to the new constraints.
28  *
29  *  \remark This is a singleton.
30  */
31 class SketchSolver_Manager : public Events_Listener
32 {
33 public:
34   /** \brief Main method to create constraint manager
35    *  \return pointer to the singleton
36    */
37   SKETCHSOLVER_EXPORT static SketchSolver_Manager* instance();
38
39   /** \brief Implementation of Event Listener method
40    *  \param[in] theMessage the data of the event
41    */
42   virtual void processEvent(const std::shared_ptr<Events_Message>& theMessage);
43
44   /// \brief Initialize builder for solver's data structure entities
45   /// \param theBuilder [in]  solver's specific builder
46   SKETCHSOLVER_EXPORT void setBuilder(BuilderPtr theBuilder);
47   /// \brief Returns the builder specific for the solver
48   BuilderPtr builder();
49
50 protected:
51   SketchSolver_Manager();
52   ~SketchSolver_Manager();
53
54   /** \brief Adds or updates a constraint or an entity in the suitable group
55    *  \param[in] theFeature sketch feature to be changed
56    *  \return \c true if the feature changed successfully
57    */
58   bool changeFeature(std::shared_ptr<SketchPlugin_Feature> theFeature);
59
60   /** \brief Removes a constraint from the manager
61    *  \param[in] theConstraint constraint to be removed
62    *  \return \c true if the constraint removed successfully
63    */
64   bool removeConstraint(std::shared_ptr<SketchPlugin_Constraint> theConstraint);
65
66   /** \brief Adds or updates a workplane in the manager
67    *  \param[in] theSketch the feature to create or update workplane
68    *  \return \c true if the workplane changed successfully
69    *  \remark Type of theSketch is not verified inside
70    */
71   bool changeWorkplane(CompositeFeaturePtr theSketch);
72
73   /** \brief Removes a workplane from the manager.
74    *         All groups based on such workplane will be removed too.
75    *  \param[in] theSketch the feature to be removed
76    *  \return \c true if the workplane removed successfully
77    */
78   bool removeWorkplane(std::shared_ptr<SketchPlugin_Sketch> theSketch);
79
80   /** \brief Updates entity which is moved in GUI
81    *  \param[in] theFeature entity to be updated
82    */
83   void moveEntity(std::shared_ptr<SketchPlugin_Feature> theFeature);
84
85   /** \brief Goes through the list of groups and solve the constraints
86    *  \return \c true, if groups are resolved, and features should be updated (send the Update event)
87    */
88   bool resolveConstraints();
89
90 private:
91   /** \brief Searches list of groups which interact with specified feature
92    *  \param[in]  theFeature  object to be found
93    *  \param[out] theGroups   list of group indexes interacted with the feature
94    */
95   void findGroups(std::shared_ptr<SketchPlugin_Feature> theFeature,
96                   std::set<GroupID>& theGroupIDs) const;
97
98   /** \brief Searches in the list of groups the workplane which contains specified feature
99    *  \param[in] theFeature object to be found
100    *  \return workplane containing the feature
101    */
102   std::shared_ptr<ModelAPI_CompositeFeature> findWorkplane(
103       std::shared_ptr<SketchPlugin_Feature> theFeature) const;
104
105   /// \brief Stop sending the Update event until all features updated
106   /// \return \c true, if the last flushed event is Update
107   bool stopSendUpdate() const;
108   /// \brief Allow to send the Update event
109   void allowSendUpdate() const;
110
111 private:
112   static SketchSolver_Manager*     mySelf;    ///< Self pointer to implement singleton functionality
113   std::vector<SketchSolver_Group*> myGroups;  ///< Groups of constraints
114   BuilderPtr                       myBuilder; ///< Builder for solver's entities
115   /// true if computation is performed and all "updates" are generated by this algo
116   /// and needs no recomputation
117   bool myIsComputed;
118 };
119
120 #endif