chomik::assignment_event Class Reference

#include <chomik.h>

Public Member Functions
	assignment_event (std::unique_ptr< generic_name > &&t, std::unique_ptr< description_of_a_cartesian_product > &&p, std::unique_ptr< assignment_source > &&s)
virtual	~assignment_event ()
void	report (std::ostream &s) const
bool	get_match (const signature &s, const machine &m, const basic_generator &g, matching_protocol &target) const
const assignment_source &	get_source () const

Detailed Description

The assignment events are used when the amount of variables assigned is infinite or too large.

Constructor & Destructor Documentation

assignment_event()

chomik::assignment_event::assignment_event ( std::unique_ptr< generic_name > && t, std::unique_ptr< description_of_a_cartesian_product > && p, std::unique_ptr< assignment_source > && s )

inline

~assignment_event()

virtual chomik::assignment_event::~assignment_event ( )

inlinevirtual

Member Function Documentation

get_match()

bool chomik::assignment_event::get_match	(	const signature &	s,
		const machine &	m,
		const basic_generator &	g,
		matching_protocol &	target ) const

get_source()

const assignment_source & chomik::assignment_event::get_source ( ) const

inline

report()

void chomik::assignment_event::report

(

std::ostream &

s

)

const

---

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

• inc/chomik.h