taflow.cpp File Reference

#include "utap/signalflow.h"
#include "utap/systembuilder.h"
#include "utap/typechecker.h"
#include "utap/system.h"
#include <unistd.h>
#include <iostream>
#include <fstream>
#include <string>

Include dependency graph for taflow.cpp:

Go to the source code of this file.

Functions
void	printHelp (const char *binary)
int	main (int argc, char *argv[])

Function Documentation

main()

int main	(	int	argc,
		char *	argv[]
	)

Definition at line 72 of file taflow.cpp.

References UTAP::TimedAutomataSystem::accept(), UTAP::DistanceCalculator::addProcessNeedle(), UTAP::TimedAutomataSystem::getErrors(), UTAP::TimedAutomataSystem::getWarnings(), parseXMLFile(), parseXTA(), UTAP::Partitioner::partition(), UTAP::SignalFlow::printForDot(), UTAP::SignalFlow::printForTron(), printHelp(), and UTAP::SignalFlow::setVerbose().

Here is the call graph for this function:

printHelp()

void printHelp

(

const char *

binary

)

Definition at line 50 of file taflow.cpp.

Referenced by main().

Here is the caller graph for this function: