ilasynth::assump_visitor_i Struct Reference

#include <abstraction.hpp>

Inheritance diagram for ilasynth::assump_visitor_i:

Public Member Functions
virtual void	useAssump (const nptr_t &a)=0

Member Function Documentation

useAssump()

virtual void ilasynth::assump_visitor_i::useAssump ( const nptr_t &  a )

pure virtual

Implemented in ilasynth::Abstraction::assump_collector_t, and ilasynth::Synthesizer::init_assump_t.

---

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

• abstraction.hpp