ilasynth::HornVar Class Reference

#include <horn.hpp>

Public Member Functions
	HornVar (const unsigned &id)
virtual	~HornVar ()
const unsigned &	getId () const
const std::string &	getName () const
const std::string &	getType () const
const std::set< std::string > &	getExec () const
std::string	getPred () const
std::string	getRel () const
bool	isConst () const
void	setName (std::string s)
void	setType (std::string s)
void	setExec (std::string s)
void	eraseExec ()
void	addInVar (hvptr_t v)
void	addOutVar (hvptr_t v)
void	mergeInVars (hvptr_t v)
void	mergeOutVars (hvptr_t v)
void	setConst ()
const int &	getLevel () const
void	setLevel (const int &lvl)
size_t	getInNum () const
size_t	getOutNum () const
const std::map< std::string, hvptr_t > &	getInSet () const
const std::set< hvptr_t > &	getOutSet () const
hvptr_t	getOutVar () const
void	setNd (const std::string &nd)
const std::string &	getNd () const
bool	isNd () const

Private Attributes
unsigned	_id
std::string	_name
std::string	_type
std::set< std::string >	_exec
std::map< std::string, hvptr_t >	_ins
std::set< hvptr_t >	_outs
bool	_const
int	_lvl
std::string	_nd

Constructor & Destructor Documentation

HornVar()

ilasynth::HornVar::HornVar

(

const unsigned &

id

)

~HornVar()

virtual ilasynth::HornVar::~HornVar ( )

virtual

Member Function Documentation

addInVar()

void ilasynth::HornVar::addInVar

(

hvptr_t

v

)

addOutVar()

void ilasynth::HornVar::addOutVar

(

hvptr_t

v

)

eraseExec()

void ilasynth::HornVar::eraseExec

(

)

getExec()

const std::set<std::string>& ilasynth::HornVar::getExec

(

)

const

getId()

const unsigned& ilasynth::HornVar::getId

(

)

const

getInNum()

size_t ilasynth::HornVar::getInNum

(

)

const

getInSet()

const std::map<std::string, hvptr_t>& ilasynth::HornVar::getInSet

(

)

const

getLevel()

const int& ilasynth::HornVar::getLevel

(

)

const

getName()

const std::string& ilasynth::HornVar::getName

(

)

const

getNd()

const std::string& ilasynth::HornVar::getNd

(

)

const

getOutNum()

size_t ilasynth::HornVar::getOutNum

(

)

const

getOutSet()

const std::set<hvptr_t>& ilasynth::HornVar::getOutSet

(

)

const

getOutVar()

hvptr_t ilasynth::HornVar::getOutVar

(

)

const

getPred()

std::string ilasynth::HornVar::getPred

(

)

const

getRel()

std::string ilasynth::HornVar::getRel

(

)

const

getType()

const std::string& ilasynth::HornVar::getType

(

)

const

isConst()

bool ilasynth::HornVar::isConst

(

)

const

isNd()

bool ilasynth::HornVar::isNd

(

)

const

mergeInVars()

void ilasynth::HornVar::mergeInVars

(

hvptr_t

v

)

mergeOutVars()

void ilasynth::HornVar::mergeOutVars

(

hvptr_t

v

)

setConst()

void ilasynth::HornVar::setConst

(

)

setExec()

void ilasynth::HornVar::setExec

(

std::string

s

)

setLevel()

void ilasynth::HornVar::setLevel

(

const int &

lvl

)

setName()

void ilasynth::HornVar::setName

(

std::string

s

)

setNd()

void ilasynth::HornVar::setNd

(

const std::string &

nd

)

setType()

void ilasynth::HornVar::setType

(

std::string

s

)

Member Data Documentation

_const

bool ilasynth::HornVar::_const

private

_exec

std::set<std::string> ilasynth::HornVar::_exec

private

_id

unsigned ilasynth::HornVar::_id

private

_ins

std::map<std::string, hvptr_t> ilasynth::HornVar::_ins

private

_lvl

int ilasynth::HornVar::_lvl

private

_name

std::string ilasynth::HornVar::_name

private

_nd

std::string ilasynth::HornVar::_nd

private

_outs

std::set<hvptr_t> ilasynth::HornVar::_outs

private

_type

std::string ilasynth::HornVar::_type

private

---

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

• horn.hpp