ilasynth::HornRewriter Class Reference

#include <horn.hpp>

Public Member Functions
	HornRewriter (HornTranslator *tr, hvptr_t p)
virtual	~HornRewriter ()
void	configOutput (const std::string &state, hvptr_t arg)
void	configInput ()
void	update (const std::string &state, hvptr_t inArg, hvptr_t outArg)
std::string	rewrite (char inType, int inSuff, char outType, int outSuff)
void	addRewriteRule (hcptr_t C, char aType, int aSuff, char bType, int bSuff)
hvptr_t	getRewriteVar (char inTy, int inSu, char outTy, int outSu)

Private Attributes
HornTranslator *	_tr
hvptr_t	_pred
std::map< hvptr_t, std::string >	_mapIS
std::map< hvptr_t, std::string >	_mapOS
std::map< std::string, hvptr_t >	_mapSI
std::map< std::string, hvptr_t >	_mapSO

Constructor & Destructor Documentation

HornRewriter()

ilasynth::HornRewriter::HornRewriter	(	HornTranslator *	tr,
		hvptr_t	p
	)

~HornRewriter()

virtual ilasynth::HornRewriter::~HornRewriter ( )

virtual

Member Function Documentation

addRewriteRule()

void ilasynth::HornRewriter::addRewriteRule	(	hcptr_t	C,
		char	aType,
		int	aSuff,
		char	bType,
		int	bSuff
	)

configInput()

void ilasynth::HornRewriter::configInput

(

)

configOutput()

void ilasynth::HornRewriter::configOutput	(	const std::string &	state,
		hvptr_t	arg
	)

getRewriteVar()

hvptr_t ilasynth::HornRewriter::getRewriteVar	(	char	inTy,
		int	inSu,
		char	outTy,
		int	outSu
	)

rewrite()

std::string ilasynth::HornRewriter::rewrite	(	char	inType,
		int	inSuff,
		char	outType,
		int	outSuff
	)

update()

void ilasynth::HornRewriter::update	(	const std::string &	state,
		hvptr_t	inArg,
		hvptr_t	outArg
	)

Member Data Documentation

_mapIS

std::map<hvptr_t, std::string> ilasynth::HornRewriter::_mapIS

private

_mapOS

std::map<hvptr_t, std::string> ilasynth::HornRewriter::_mapOS

private

_mapSI

std::map<std::string, hvptr_t> ilasynth::HornRewriter::_mapSI

private

_mapSO

std::map<std::string, hvptr_t> ilasynth::HornRewriter::_mapSO

private

_pred

hvptr_t ilasynth::HornRewriter::_pred

private

_tr

HornTranslator* ilasynth::HornRewriter::_tr

private

---

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

• horn.hpp