Clean up implementation of enumeration of possible Nash supports

This cleans up the implementations of the enumeration of possible Nash subsupports:

* The principal enumeration methods are extracted from enumpoly into their own directory.
* Unused or obsolete code has been removed, and some aspects of the implementation have been
  refactored for simplification.
* Enumeration for the strategic game has been experimentally exposed in pygambit.

src/games/behavspt.h

@@ -107,7 +107,7 @@ class BehaviorSupportProfile {
   void AddAction(const GameAction &);
   /// Removes the action from the support; returns true if successful.
   bool RemoveAction(const GameAction &);
- //@}
+  //@}
 
   /// @name Reachability of nodes and information sets
   //@{

src/games/stratspt.cc

@@ -397,7 +397,6 @@ bool StrategySupportProfile::Overwhelms(const GameStrategy &s, const GameStrateg
 //               class StrategySupportProfile::const_iterator
 //===========================================================================
 
-
 bool StrategySupportProfile::const_iterator::GoToNext()
 {
   if (strat != support.NumStrategies(pl)) {
@@ -417,8 +416,7 @@ bool StrategySupportProfile::const_iterator::GoToNext()
   }
 }
 
-bool 
-StrategySupportProfile::const_iterator::IsSubsequentTo(const GameStrategy &s) const
+bool StrategySupportProfile::const_iterator::IsSubsequentTo(const GameStrategy &s) const
 {
   if (pl > s->GetPlayer()->GetNumber()) {
     return true;

src/pygambit/util.h

@@ -108,12 +108,11 @@ inline Rational to_rational(const char *p_value)
   return lexical_cast<Rational>(std::string(p_value));
 }
 
-template <class T>
-std::list<T *> make_list_of_pointer(const std::list<T> &p_list)
+template <class T> std::list<T *> make_list_of_pointer(const std::list<T> &p_list)
 {
   std::list<T *> result;
   for (auto element : p_list) {
     result.push_back(new T(element));
   }
   return result;
-}
+}

src/solvers/nashsupport/efgsupport.cc

@@ -29,7 +29,7 @@ using namespace Gambit;
 class ActionCursor {
 protected:
   BehaviorSupportProfile m_support;
-  int pl, iset, act;
+  int pl{1}, iset{1}, act{1};
 
 public:
   // Lifecycle
@@ -46,9 +46,7 @@ class ActionCursor {
   GameAction GetAction() const { return m_support.GetAction(pl, iset, act); }
 };
 
-
-ActionCursor::ActionCursor(const BehaviorSupportProfile &p_support)
-  : m_support(p_support), pl(1), iset(1), act(1)
+ActionCursor::ActionCursor(const BehaviorSupportProfile &p_support) : m_support(p_support)
 {
   Game efg = p_support.GetGame();
 
@@ -65,7 +63,6 @@ ActionCursor::ActionCursor(const BehaviorSupportProfile &p_support)
   }
 }
 
-
 bool ActionCursor::GoToNext()
 {
   if (act != m_support.NumActions(pl, iset)) {
@@ -104,11 +101,9 @@ bool HasActiveActionsAtActiveInfosetsAndNoOthers(const BehaviorSupportProfile &p
   return true;
 }
 
-
-void
-PossibleNashBehaviorSupports(const BehaviorSupportProfile &p_support,
-                             const ActionCursor &p_cursor,
-                             std::list<BehaviorSupportProfile> &p_list)
+void PossibleNashBehaviorSupports(const BehaviorSupportProfile &p_support,
+                                  const ActionCursor &p_cursor,
+                                  std::list<BehaviorSupportProfile> &p_list)
 {
   ActionCursor copy(p_cursor);
   if (!copy.GoToNext()) {
@@ -130,15 +125,15 @@ PossibleNashBehaviorSupports(const BehaviorSupportProfile &p_support,
   PossibleNashBehaviorSupports(copySupport, copy, p_list);
 }
 
-}
-
+} // namespace
 
 //
 // TODO: This is a naive implementation that does not take into account
 //       that removing actions from a support profile can (and often does) lead
 //       to information sets becoming unreachable.
 //
-std::shared_ptr<PossibleNashBehaviorSupportsResult> PossibleNashBehaviorSupports(const Game &p_game)
+std::shared_ptr<PossibleNashBehaviorSupportsResult>
+PossibleNashBehaviorSupports(const Game &p_game)
 {
   BehaviorSupportProfile support(p_game);
   ActionCursor cursor(support);
@@ -147,4 +142,3 @@ std::shared_ptr<PossibleNashBehaviorSupportsResult> PossibleNashBehaviorSupports
   PossibleNashBehaviorSupports(support, cursor, result->m_supports);
   return result;
 }
-

src/solvers/nashsupport/nashsupport.h

@@ -35,7 +35,6 @@ class PossibleNashStrategySupportsResult {
 // a totally-mixed Nash equilibrium.
 std::shared_ptr<PossibleNashStrategySupportsResult> PossibleNashStrategySupports(const Game &);
 
-
 class PossibleNashBehaviorSupportsResult {
 public:
   std::list<BehaviorSupportProfile> m_supports;
@@ -57,6 +56,4 @@ std::shared_ptr<PossibleNashBehaviorSupportsResult> PossibleNashBehaviorSupports
 // infosets.
 List<StrategySupportProfile> PossibleNashSubsupports(const StrategySupportProfile &S);
 
-
-
-#endif // GAMBIT_SOLVERS_NASHSUPPORT_NASHSUPPORT_H
+#endif // GAMBIT_SOLVERS_NASHSUPPORT_NASHSUPPORT_H

src/solvers/nashsupport/nfgsupport.cc

@@ -43,8 +43,7 @@ bool AcceptCandidate(const StrategySupportProfile &p_support,
     for (int j = 1; j <= strat->GetPlayer()->NumStrategies(); j++) {
       GameStrategy other_strat = strat->GetPlayer()->GetStrategy(j);
       if (other_strat != strat) {
-        if (current.Contains(other_strat) &&
-            current.Dominates(other_strat, strat, false)) {
+        if (current.Contains(other_strat) && current.Dominates(other_strat, strat, false)) {
           return false;
         }
         current.AddStrategy(other_strat);
@@ -101,10 +100,10 @@ void PossibleNashSupports(const StrategySupportProfile &p_support,
   }
 }
 
-}  // end anonymous namespace
+} // end anonymous namespace
 
-
-std::shared_ptr<PossibleNashStrategySupportsResult> PossibleNashStrategySupports(const Game &p_game)
+std::shared_ptr<PossibleNashStrategySupportsResult>
+PossibleNashStrategySupports(const Game &p_game)
 {
   auto result = std::make_shared<PossibleNashStrategySupportsResult>();
   StrategySupportProfile support(p_game);
@@ -113,5 +112,3 @@ std::shared_ptr<PossibleNashStrategySupportsResult> PossibleNashStrategySupports
   PossibleNashSupports(support, sact, cursor, result->m_supports);
   return result;
 }
-
-