ilasynth::SupportVars Struct Reference

#include <synthesizer.hpp>

Classes
struct	mem_info_t

Public Member Functions
void	dfs (const Node *n)
void	clear ()
void	uniquifyRdExprs ()
bool	depCheck (z3::context &c, z3::solver &S, const nptr_t &ex)
	SupportVars ()

Public Attributes
bool	canFixUp
bool	enumRdExprVars
std::set< const Node * >	visited
std::set< const BoolVar * >	bools
std::set< const BitvectorVar * >	bitvecs
std::vector< mem_info_t >	rdexprs

Constructor & Destructor Documentation

SupportVars()

ilasynth::SupportVars::SupportVars ( )

inline

Member Function Documentation

clear()

void ilasynth::SupportVars::clear

(

)

depCheck()

bool ilasynth::SupportVars::depCheck	(	z3::context &	c,
		z3::solver &	S,
		const nptr_t &	ex
	)

dfs()

void ilasynth::SupportVars::dfs

(

const Node *

n

)

uniquifyRdExprs()

void ilasynth::SupportVars::uniquifyRdExprs

(

)

Member Data Documentation

bitvecs

std::set<const BitvectorVar*> ilasynth::SupportVars::bitvecs

bools

std::set<const BoolVar*> ilasynth::SupportVars::bools

canFixUp

bool ilasynth::SupportVars::canFixUp

enumRdExprVars

bool ilasynth::SupportVars::enumRdExprVars

rdexprs

std::vector<mem_info_t> ilasynth::SupportVars::rdexprs

visited

std::set<const Node*> ilasynth::SupportVars::visited

---

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

• synthesizer.hpp