GeneratePta.cc File Reference

#include <string>
#include <cmath>
#include <algorithm>
#include <fstream>
#include <sstream>
#include <diades/automata/ObservableComponent.hh>
#include <diades/automata/Event.hh>

Go to the source code of this file.

Functions
string	replaceSpace (const string &label)
void	exportToDesComp (const Component &ptaMoore, const string &fileName)
string	stringOf (unsigned &counter)
void	MooreEncoding (const string &filename)
void	MealyEncodingV1 (const string &filename)
string	encodeTargetState (unsigned id, const vector< string > &varNames)
string	encodeSourceState (unsigned id, const vector< string > &varNames)
void	component2Orange (const ObservableComponent &pta, ostream &os)
void	MealyEncoding (const string &filename, const string &targetName)
int	main (int argc, char **argv)

Function Documentation

component2Orange()

void component2Orange	(	const ObservableComponent &	pta,
		ostream &	os
	)

Definition at line 362 of file GeneratePta.cc.

References encodeSourceState(), encodeTargetState(), Diades::Automata::Component::events(), Diades::Automata::Component::eventTransitionBegin(), Diades::Automata::Component::eventTransitionEnd(), Diades::Automata::ObservableMask::isUnobservable(), Diades::Utils::log(), Diades::Automata::ObservableComponent::mask(), Diades::Automata::ObservableMask::noEvent(), Diades::Automata::Component::numberOfStates(), Diades::Automata::ObservableComponent::observableBegin(), and Diades::Automata::ObservableComponent::observableEnd().

Referenced by MealyEncoding().

encodeSourceState()

string encodeSourceState	(	unsigned	id,
		const vector< string > &	varNames
	)

Definition at line 343 of file GeneratePta.cc.

Referenced by component2Orange().

encodeTargetState()

string encodeTargetState	(	unsigned	id,
		const vector< string > &	varNames
	)

Definition at line 327 of file GeneratePta.cc.

Referenced by component2Orange().

exportToDesComp()

void exportToDesComp	(	const Component &	ptaMoore,
		const string &	fileName
	)

Definition at line 26 of file GeneratePta.cc.

References Diades::Automata::Component::getEvent(), Diades::Automata::Component::getLabel(), Diades::Automata::Component::initialStateBegin(), Diades::Automata::Component::name(), Diades::Automata::Event::nickname(), Diades::Automata::Component::numberOfStates(), replaceSpace(), Diades::Automata::Component::stateBegin(), Diades::Automata::Component::stateEnd(), Diades::Automata::Component::transitionBegin(), and Diades::Automata::Component::transitionEnd().

Referenced by MooreEncoding().

main()

int main	(	int	argc,
		char **	argv
	)

Definition at line 533 of file GeneratePta.cc.

References MealyEncoding().

MealyEncoding()

void MealyEncoding	(	const string &	filename,
		const string &	targetName
	)

Definition at line 452 of file GeneratePta.cc.

References Diades::Automata::ObservableMask::addMask(), Diades::Automata::ObservableComponent::component2dot(), component2Orange(), current, Diades::Automata::ObservableComponent::exportDesCompModel(), Diades::Automata::Event::getEvent(), Diades::Automata::EventFactory::init(), initial, Diades::Automata::Component::initialStateBegin(), Diades::Automata::Component::insertEvent(), Diades::Utils::log(), Diades::Automata::ObservableMask::makeUnobservable(), Diades::Automata::Component::newState(), Diades::Automata::Component::newTransition(), Diades::Automata::Component::outputEventTransitionBegin(), Diades::Automata::Component::outputEventTransitionEnd(), Diades::Automata::Component::setInitial(), Diades::Automata::ObservableComponent::setMask(), and Diades::Automata::Component::setName().

Referenced by main().

MealyEncodingV1()

void MealyEncodingV1

(

const string &

filename

)

Definition at line 228 of file GeneratePta.cc.

References Diades::Automata::Component::component2dot(), current, Diades::Automata::Component::deleteState(), Diades::Automata::Component::exportDesCompModel(), Diades::Automata::Event::getEvent(), Diades::Automata::Component::getEvent(), Diades::Automata::EventFactory::init(), initial, Diades::Automata::Component::initialStateBegin(), Diades::Automata::Component::insertEvent(), Diades::Utils::log(), Diades::Automata::Component::newState(), Diades::Automata::Component::newTransition(), Diades::Automata::Component::outputEventTransitionBegin(), Diades::Automata::Component::outputEventTransitionEnd(), Diades::Automata::Component::setInitial(), and Diades::Automata::Component::setName().

MooreEncoding()

void MooreEncoding

(

const string &

filename

)

Definition at line 90 of file GeneratePta.cc.

References Diades::Automata::Component::component2dot(), Diades::Automata::Component::deleteState(), exportToDesComp(), Diades::Automata::Event::getEvent(), Diades::Automata::Component::getEvent(), Diades::Automata::Component::getLabel(), Diades::Automata::EventFactory::init(), Diades::Automata::Component::initialStateBegin(), Diades::Automata::Component::insertEvent(), Diades::Utils::log(), Diades::Automata::Component::newState(), Diades::Automata::Component::newTransition(), Diades::Automata::Component::outputEventTransitionBegin(), Diades::Automata::Component::outputEventTransitionEnd(), Diades::Automata::Component::outputTransitionBegin(), Diades::Automata::Component::outputTransitionEnd(), Diades::Automata::Component::setInitial(), Diades::Automata::Component::setName(), and stringOf().

replaceSpace()

string replaceSpace

(

const string &

label

)

Definition at line 19 of file GeneratePta.cc.

Referenced by exportToDesComp().

stringOf()

string stringOf

(

unsigned &

counter

)

Definition at line 81 of file GeneratePta.cc.

Referenced by MooreEncoding().