Contractors Class Reference

#include <goto_contractor.h>

Public Member Functions
	Contractors ()
	~Contractors ()
Contractor *	get_contractors_up_to_loc (unsigned int loc)
Contractor *	get_contractors ()
void	dump ()
std::ostringstream	list_to_oss (ibex::Array< ibex::Ctc > *list, bool is_compo)
std::ostringstream	to_oss (ibex::Ctc *c)
void	add_contractor (ibex::Ctc *ctc, unsigned int loc)
bool	is_empty ()

Constructor & Destructor Documentation

Contractors()

Contractors::Contractors ( )

inline

~Contractors()

Contractors::~Contractors ( )

inline

Member Function Documentation

add_contractor()

void Contractors::add_contractor ( ibex::Ctc * ctc, unsigned int loc )

inline

dump()

void Contractors::dump ( )

inline

get_contractors()

Contractor * Contractors::get_contractors ( )

inline

get_contractors_up_to_loc()

Contractor * Contractors::get_contractors_up_to_loc ( unsigned int loc )

inline

is_empty()

bool Contractors::is_empty ( )

inline

list_to_oss()

std::ostringstream Contractors::list_to_oss ( ibex::Array< ibex::Ctc > * list, bool is_compo )

inline

to_oss()

std::ostringstream Contractors::to_oss ( ibex::Ctc * c )

inline

---

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

• src/goto-programs/goto_contractor.h