k_path_spanning_sett Member List

This is the complete list of members for k_path_spanning_sett, including all inherited members.

add_goal(atom_multiset_t atoms, std::string claim_msg, std::string claim_loc)	k_path_spanning_sett
atom_multiset_t typedef	k_path_spanning_sett
atom_t typedef	k_path_spanning_sett
clear()	k_path_spanning_sett
finalize()	k_path_spanning_sett
is_redundant(const std::string &msg, const std::string &loc) const	k_path_spanning_sett
spanning_size() const	k_path_spanning_sett	inline
total() const	k_path_spanning_sett	inline