con_cctrim.h
Go to the documentation of this file.
1 /** @file con_cctrim.h more efficient Trim() operation */
2 
3 /*
4  *
5  * Copyright (C) 2011 Tomas Masopust
6  *
7  * Implements a bit more efficient Trim() operation
8  * based on graph algorithms
9  *
10  */
11 
12 #ifndef FAUDES_ccTRIM_H
13 #define FAUDES_ccTRIM_H
14 
15 #include "corefaudes.h"
16 
17 namespace faudes {
18 
19 /**
20  * A more efficient Trim() operation
21  *
22  * @param gen
23  * The input generator to be trimmed
24  * @param trimGen
25  * The trimmed generator
26  *
27  * @return
28  * True if the operation is successful
29  *
30  * @exception Exception
31  * - alphabets of generators don't match (id 100)
32  * - plant nondeterministic (id 201)
33  *
34  * @ingroup CoordinationControlPlugIn
35  */
36 extern FAUDES_API bool ccTrim(const Generator& gen, Generator& trimGen);
37 
38 } // namespace faudes
39 
40 #endif
FAUDES_API
#define FAUDES_API
Interface export/import symbols: windows.
Definition: cfl_platform.h:81
corefaudes.h
Includes all libFAUDES headers, no plugins.
faudes::ccTrim
bool ccTrim(const Generator &gen, Generator &trimGen)
A more efficient Trim() operation.
Definition: con_cctrim.cpp:221
faudes::Generator
vGenerator Generator
Plain generator, api typedef for generator with no attributes.
Definition: cfl_generator.h:3240
faudes
libFAUDES resides within the namespace faudes.
Definition: cfl_agenerator.h:43

libFAUDES 2.32b --- 2024.03.01 --- c++ api documentaion by doxygen

>>