ilasynth::DistInput Struct Reference

#include <synthesizer.hpp>

Public Member Functions
	DistInput (Abstraction &a, Z3ExprAdapter &c, z3::model &m, SupportVars &sv)
void	fixUp (SupportVars &s, Z3ExprAdapter &c, z3::model &m)
void	toPython (py::dict &d)
bool	getBoolValue (const std::string &n) const
std::string	getBitvecStr (const std::string &n) const
const MemValues &	getMemValues (const std::string &n) const

Public Attributes
std::map< std::string, MemValues >	mems
std::map< std::string, std::string >	bitvecs
std::map< std::string, bool >	bools
std::vector< std::string >	rdaddrs

Constructor & Destructor Documentation

DistInput()

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

Member Function Documentation

fixUp()

void ilasynth::DistInput::fixUp	(	SupportVars &	s,
		Z3ExprAdapter &	c,
		z3::model &	m
	)

getBitvecStr()

std::string ilasynth::DistInput::getBitvecStr

(

const std::string &

n

)

const

getBoolValue()

bool ilasynth::DistInput::getBoolValue

(

const std::string &

n

)

const

getMemValues()

const MemValues& ilasynth::DistInput::getMemValues

(

const std::string &

n

)

const

toPython()

void ilasynth::DistInput::toPython

(

py::dict &

d

)

Member Data Documentation

bitvecs

std::map<std::string, std::string> ilasynth::DistInput::bitvecs

bools

std::map<std::string, bool> ilasynth::DistInput::bools

mems

std::map<std::string, MemValues> ilasynth::DistInput::mems

rdaddrs

std::vector<std::string> ilasynth::DistInput::rdaddrs

---

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

• synthesizer.hpp