con_cctrim.h

Go to the documentation of this file.
00001 /** @file con_cctrim.h more efficient Trim() operation */
00002 
00003 /*
00004  *
00005  * Copyright (C) 2011 Tomas Masopust
00006  *
00007  * Implements a bit more efficient Trim() operation
00008  * based on graph algorithms
00009  *
00010  */
00011 
00012 #ifndef FAUDES_ccTRIM_H
00013 #define FAUDES_ccTRIM_H
00014 
00015 #include "corefaudes.h"
00016 
00017 namespace faudes {
00018   
00019 /**
00020  * A more efficient Trim() operation
00021  *
00022  * @param gen
00023  *   The input generator to be trimmed
00024  * @param trimGen
00025  *   The trimmed generator
00026  *
00027  * @return
00028  *   True if the operation is successful
00029  *
00030  * @exception Exception
00031  *   - alphabets of generators don't match (id 100)
00032  *   - plant nondeterministic (id 201)
00033  *
00034  * @ingroup CoordinationControlPlugIn
00035  */
00036 bool ccTrim(const Generator& gen, Generator& trimGen);
00037 
00038 } // namespace faudes
00039 
00040 #endif 

libFAUDES 2.23h --- 2014.04.03 --- c++ api documentaion by doxygen