ilasynth::Abstraction::assump_collector_t Struct Reference

#include <abstraction.hpp>

Inheritance diagram for ilasynth::Abstraction::assump_collector_t:

Public Member Functions
	assump_collector_t (nptr_vec_t &v)
void	useAssump (const nptr_t &a)

Public Attributes
nptr_vec_t &	vec

Constructor & Destructor Documentation

assump_collector_t()

ilasynth::Abstraction::assump_collector_t::assump_collector_t ( nptr_vec_t &  v )

inline

Member Function Documentation

useAssump()

void ilasynth::Abstraction::assump_collector_t::useAssump ( const nptr_t &  a )

virtual

Implements ilasynth::assump_visitor_i.

Member Data Documentation

vec

nptr_vec_t& ilasynth::Abstraction::assump_collector_t::vec

---

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

• abstraction.hpp