class Tie_configuration
{
#if DEBUG_SLUR_SCORING
- string score_card_;
+ std::string score_card_;
#endif
Real score_;
bool scored_;
public:
Real score () const { return score_; }
- string card () const { return score_card_; }
+ std::string card () const { return score_card_; }
int position_;
Direction dir_;
/* computed. */
Interval attachment_x_;
- void add_score (Real, const string&);
+ void add_score (Real, const std::string&);
Tie_configuration ();
void center_tie_vertically (Tie_details const &);
Bezier get_transformed_bezier (Tie_details const &) const;
INSTANTIATE_COMPARE (Tie_configuration, Tie_configuration::compare);
-class Ties_configuration : public vector<Tie_configuration>
+class Ties_configuration : public std::vector<Tie_configuration>
{
Real score_;
- string score_card_;
+ std::string score_card_;
bool scored_;
- vector<string> tie_score_cards_;
+ std::vector<std::string> tie_score_cards_;
friend class Tie_formatting_problem;
public:
Ties_configuration ();
- void add_score (Real amount, const string &description);
- void add_tie_score (Real amount, int i, const string &description);
+ void add_score (Real amount, const std::string &description);
+ void add_tie_score (Real amount, int i, const std::string &description);
Real score () const;
void reset_score ();
- string card () const;
- string tie_card (int i) const { return tie_score_cards_[i]; }
- string complete_tie_card (vsize i) const;
- string complete_score_card () const;
+ std::string card () const;
+ std::string tie_card (int i) const { return tie_score_cards_[i]; }
+ std::string complete_tie_card (vsize i) const;
+ std::string complete_score_card () const;
};
#endif /* TIE_CONFIGURATION_HH */