ilasynth::SimoutAdapter Struct Reference

#include <synthesizer.hpp>

Inheritance diagram for ilasynth::SimoutAdapter:

Public Member Functions
	SimoutAdapter (Z3ExprRewritingAdapter &a, const Node *n)
z3::expr	operator() (bool res) const
z3::expr	operator() (const std::string &res) const
z3::expr	operator() (const MemValues &mv) const

Public Attributes
Z3ExprRewritingAdapter &	adapter
const Node *	node
z3::expr	r_expr
z3::expr	r_cnst

Constructor & Destructor Documentation

SimoutAdapter()

ilasynth::SimoutAdapter::SimoutAdapter	(	Z3ExprRewritingAdapter &	a,
		const Node *	n
	)

Member Function Documentation

operator()() [1/3]

z3::expr ilasynth::SimoutAdapter::operator()

(

bool

res

)

const

operator()() [2/3]

z3::expr ilasynth::SimoutAdapter::operator()

(

const std::string &

res

)

const

operator()() [3/3]

z3::expr ilasynth::SimoutAdapter::operator()

(

const MemValues &

mv

)

const

Member Data Documentation

adapter

Z3ExprRewritingAdapter& ilasynth::SimoutAdapter::adapter

node

const Node* ilasynth::SimoutAdapter::node

r_cnst

z3::expr ilasynth::SimoutAdapter::r_cnst

r_expr

z3::expr ilasynth::SimoutAdapter::r_expr

---

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

• synthesizer.hpp