- std::list<std::shared_ptr<Pair>> explorationStack_;
- std::list<std::shared_ptr<VisitedPair>> acceptancePairs_;
- std::list<std::shared_ptr<VisitedPair>> visitedPairs_;
- unsigned long visitedPairsCount_ = 0;
- unsigned long expandedPairsCount_ = 0;
- unsigned long expandedStatesCount_ = 0;
- int previousPair_ = 0;
- std::string previousRequest_;
+ std::list<std::shared_ptr<Pair>> exploration_stack_;
+ std::list<std::shared_ptr<VisitedPair>> acceptance_pairs_;
+ std::list<std::shared_ptr<VisitedPair>> visited_pairs_;
+ unsigned long visited_pairs_count_ = 0;
+ unsigned long expanded_pairs_count_ = 0;
+ unsigned long expanded_states_count_ = 0;
+ int previous_pair_ = 0;
+ std::string previous_request_;