+class Ties_configuration : public vector<Tie_configuration>
+{
+ Real score_;
+ string score_card_;
+ bool scored_;
+ vector<string> tie_score_cards_;
+
+ friend class Tie_formatting_problem;
+public:
+ Ties_configuration ();
+ void add_score (Real amount, string description);
+ void add_tie_score (Real amount, int i, 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;
+};