con_cctrim.hGo 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 |