graph_displayer_canvas.h
changeset 177 40f3006fba2e
parent 174 95872af46fc4
child 179 1f436ea3ef4f
equal deleted inserted replaced
45:ae3c7ed8c321 46:0aee4d5d12ed
   334   ///\param mapname name of new map
   334   ///\param mapname name of new map
   335   int addNewEdgeMap(double init,std::string mapname);
   335   int addNewEdgeMap(double init,std::string mapname);
   336 
   336 
   337   void reDesignGraph();
   337   void reDesignGraph();
   338 
   338 
   339   void get_design_data(double &, double &, int &);
       
   340   void set_attraction(double);
       
   341   void set_propulsation(double);
       
   342   void set_iteration(int);
       
   343 
       
   344   ///Show whether the graph is already drawn.
   339   ///Show whether the graph is already drawn.
   345   bool is_drawn;
   340   bool is_drawn;
   346 
   341 
   347 private:
   342 private:
   348   ///Deletes the given element.
   343   ///Deletes the given element.
   426   double radius_size;
   421   double radius_size;
   427 
   422 
   428   ///Edge width
   423   ///Edge width
   429   double edge_width;
   424   double edge_width;
   430 
   425 
   431   ///Iteration number during graph design
       
   432   int iterations;
       
   433 
       
   434   ///Attraction factor during graph design
       
   435   double attraction;
       
   436 
       
   437   ///Propulsation factor during graph design
       
   438   double propulsation;
       
   439 
       
   440   ///Was redesign run on this graph already?
   426   ///Was redesign run on this graph already?
   441   ///
   427   ///
   442   ///If not, the layout will be modified randomly
   428   ///If not, the layout will be modified randomly
   443   ///to avoid frozen layout because of wrong
   429   ///to avoid frozen layout because of wrong
   444   ///initial state
   430   ///initial state