+ 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);
+ 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;
+};