ilasynth::DITreeNode Struct Reference

#include <synthesizer.hpp>

Public Types
typedef std::pair< simout_ptr_t, dtree_ptr_t >	outpair_t
typedef std::vector< outpair_t >	outpair_vec_t

Public Member Functions
	DITreeNode (Abstraction &a, Z3ExprAdapter &c, z3::model &m, SupportVars &sv)
	DITreeNode ()
	~DITreeNode ()

Public Attributes
std::unique_ptr< DistInput >	inputs
outpair_vec_t	outputs
nptr_t	result

Member Typedef Documentation

outpair_t

typedef std::pair<simout_ptr_t, dtree_ptr_t> ilasynth::DITreeNode::outpair_t

outpair_vec_t

typedef std::vector<outpair_t> ilasynth::DITreeNode::outpair_vec_t

Constructor & Destructor Documentation

DITreeNode() [1/2]

ilasynth::DITreeNode::DITreeNode	(	Abstraction &	a,
		Z3ExprAdapter &	c,
		z3::model &	m,
		SupportVars &	sv
	)

DITreeNode() [2/2]

ilasynth::DITreeNode::DITreeNode

(

)

~DITreeNode()

ilasynth::DITreeNode::~DITreeNode

(

)

Member Data Documentation

inputs

std::unique_ptr<DistInput> ilasynth::DITreeNode::inputs

outputs

outpair_vec_t ilasynth::DITreeNode::outputs

result

nptr_t ilasynth::DITreeNode::result

---

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

• synthesizer.hpp