ilasynth::DITree Struct Reference

#include <synthesizer.hpp>

Public Types
enum	mode_t { REPLAY, INSERT }

Public Member Functions
DistInput *	getDistInput (const z3::expr &y)
void	setOutput (const simout_ptr_t &out)
nptr_t	getExpr (const z3::expr &y, const nptr_t &ex, int i, const nptr_t &de_expr)
	DITree (Synthesizer &s)
void	reset (bool reuseModels)
void	rewind ()

Public Attributes
enum ilasynth::DITree::mode_t	mode
bool	reuseModels
Synthesizer &	syn
dtree_ptr_t	head
dtree_ptr_t	replay_ptr
dtree_ptr_t *	insert_ptr

Member Enumeration Documentation

mode_t

enum ilasynth::DITree::mode_t

Enumerator
REPLAY
INSERT

Constructor & Destructor Documentation

DITree()

ilasynth::DITree::DITree

(

Synthesizer &

s

)

Member Function Documentation

getDistInput()

DistInput* ilasynth::DITree::getDistInput

(

const z3::expr &

y

)

getExpr()

nptr_t ilasynth::DITree::getExpr	(	const z3::expr &	y,
		const nptr_t &	ex,
		int	i,
		const nptr_t &	de_expr
	)

reset()

void ilasynth::DITree::reset

(

bool

reuseModels

)

rewind()

void ilasynth::DITree::rewind

(

)

setOutput()

void ilasynth::DITree::setOutput

(

const simout_ptr_t &

out

)

Member Data Documentation

head

dtree_ptr_t ilasynth::DITree::head

insert_ptr

dtree_ptr_t* ilasynth::DITree::insert_ptr

mode

enum ilasynth::DITree::mode_t ilasynth::DITree::mode

replay_ptr

dtree_ptr_t ilasynth::DITree::replay_ptr

reuseModels

bool ilasynth::DITree::reuseModels

syn

Synthesizer& ilasynth::DITree::syn

---

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

• synthesizer.hpp