Contractor Class Reference

#include <goto_contractor.h>

Public Member Functions
	Contractor ()
	Contractor (ibex::Ctc *c, unsigned int loc)
	Contractor (ibex::Ctc *c)
	~Contractor ()
void	set_outer (ibex::Ctc *outer)
void	set_inner (ibex::Ctc *inner)
void	set_location (unsigned int location)
ibex::Ctc *	get_outer () const
ibex::Ctc *	get_inner () const
unsigned int	get_location () const

Constructor & Destructor Documentation

Contractor() [1/3]

Contractor::Contractor ( )

inline

Contractor() [2/3]

Contractor::Contractor ( ibex::Ctc * c, unsigned int loc )

inline

Contractor() [3/3]

Contractor::Contractor ( ibex::Ctc * c )

inline

~Contractor()

Contractor::~Contractor ( )

inline

Member Function Documentation

get_inner()

ibex::Ctc * Contractor::get_inner ( ) const

inline

get_location()

unsigned int Contractor::get_location ( ) const

inline

get_outer()

ibex::Ctc * Contractor::get_outer ( ) const

inline

set_inner()

void Contractor::set_inner ( ibex::Ctc * inner )

inline

set_location()

void Contractor::set_location ( unsigned int location )

inline

set_outer()

void Contractor::set_outer ( ibex::Ctc * outer )

inline

---

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

• src/goto-programs/goto_contractor.h