k_path_spanning_sett Class Reference

#include <k_path_spanning.h>

Public Types
using	atom_t = std::pair<expr2tc, bool>
using	atom_multiset_t = std::vector<atom_t>

Public Member Functions
void	add_goal (atom_multiset_t atoms, std::string claim_msg, std::string claim_loc)
void	finalize ()
size_t	total () const
size_t	spanning_size () const
bool	is_redundant (const std::string &msg, const std::string &loc) const
void	clear ()

Member Typedef Documentation

atom_multiset_t

using k_path_spanning_sett::atom_multiset_t = std::vector<atom_t>

atom_t

using k_path_spanning_sett::atom_t = std::pair<expr2tc, bool>

Member Function Documentation

add_goal()

void k_path_spanning_sett::add_goal	(	atom_multiset_t	atoms,
		std::string	claim_msg,
		std::string	claim_loc )

clear()

void k_path_spanning_sett::clear

(

)

finalize()

void k_path_spanning_sett::finalize

(

)

is_redundant()

bool k_path_spanning_sett::is_redundant	(	const std::string &	msg,
		const std::string &	loc ) const

spanning_size()

size_t k_path_spanning_sett::spanning_size ( ) const

inline

total()

size_t k_path_spanning_sett::total ( ) const

inline

---

The documentation for this class was generated from the following files:

• src/goto-programs/k_path_spanning.h
• src/goto-programs/k_path_spanning.cpp