ilasynth::Synthesizer::init_assump_t Struct Reference

#include <synthesizer.hpp>

Inheritance diagram for ilasynth::Synthesizer::init_assump_t:

Public Member Functions
	init_assump_t (Synthesizer &syn_, Z3ExprAdapter &c1_, Z3ExprAdapter &c2_)
virtual void	useAssump (const nptr_t &a)

Public Attributes
Synthesizer &	syn
Z3ExprAdapter &	c1
Z3ExprAdapter &	c2

Constructor & Destructor Documentation

init_assump_t()

ilasynth::Synthesizer::init_assump_t::init_assump_t ( Synthesizer &  syn_, Z3ExprAdapter &  c1_, Z3ExprAdapter &  c2_  )

inline

Member Function Documentation

useAssump()

virtual void ilasynth::Synthesizer::init_assump_t::useAssump ( const nptr_t &  a )

virtual

Implements ilasynth::assump_visitor_i.

Member Data Documentation

c1

Z3ExprAdapter& ilasynth::Synthesizer::init_assump_t::c1

c2

Z3ExprAdapter& ilasynth::Synthesizer::init_assump_t::c2

syn

Synthesizer& ilasynth::Synthesizer::init_assump_t::syn

---

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

• synthesizer.hpp