ilang::SynthAbsConverter Class Reference

The class for converting an abstraction from the synthesis engine to an ILA model. More...

#include <abst_to_ila.h>

Public Types
typedef std::shared_ptr < SynthAbsConverter >	SynthAbsConverterPtr
	Pointer type for normal use of SynAbsConverter.

Public Member Functions
	SynthAbsConverter ()
	Default constructor.
	~SynthAbsConverter ()
	Default destructor.
InstrLvlAbsPtr	Convert (const ilasynth::Abstraction &abs)
	Convert an abstraction from the synthesis engine to an ILA model. More...
void	Port (const ilasynth::Abstraction &abs, const InstrLvlAbsPtr &ila)
	Convert an abstraction from the synthesis engine on top of an ILA. More...
ExprPtr	ConvertSynthNodeToIlangExpr (const ilasynth::nptr_t &node, const InstrLvlAbsPtr &ila)
	Convert a node from the synthesis engine to an expression in ILA. More...

Static Public Member Functions
static SynthAbsConverterPtr	New ()
	Create a new SynthAbsConverter. Used for hiding implementation specific type details.

Detailed Description

The class for converting an abstraction from the synthesis engine to an ILA model.

Member Function Documentation

InstrLvlAbsPtr ilang::SynthAbsConverter::Convert

(

const ilasynth::Abstraction &

abs

)

Convert an abstraction from the synthesis engine to an ILA model.

Parameters

[in]

abs

the abstraction model from the synthesis engine.

Returns

pointer to the converted ILA model.

ExprPtr ilang::SynthAbsConverter::ConvertSynthNodeToIlangExpr	(	const ilasynth::nptr_t &	node,
		const InstrLvlAbsPtr &	ila
	)

Convert a node from the synthesis engine to an expression in ILA.

Parameters

[in]	node	the node pointer from the synthesis engine.
[in]	ila	the host ILA model.

Returns

pointer to the converted expression.

void ilang::SynthAbsConverter::Port	(	const ilasynth::Abstraction &	abs,
		const InstrLvlAbsPtr &	ila
	)

Convert an abstraction from the synthesis engine on top of an ILA.

Parameters

[in]	abs	the abstraction model from the synthesis engine.
[in]	ila	the destination ILA to which abs will be ported.

---

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

• abst_to_ila.h