VSB Ostrava, TI, http://www.elearn.vsb.cz/archivcd/FEI/UTI/, Minimalizace KA. More...
#include <algorithms.h>
Public Member Functions | |
~MinimalizeAlgorithm () | |
int | getInputCount () const |
QString | getName () const |
Protected Member Functions | |
bool | runInternal (const IAutomaton::TAutomataList &input, QSharedPointer< IAutomaton > &result) const |
each basic algorithm has to implements this method |
VSB Ostrava, TI, http://www.elearn.vsb.cz/archivcd/FEI/UTI/, Minimalizace KA.
Definition at line 189 of file algorithms.h.
MinimalizeAlgorithm::~MinimalizeAlgorithm | ( | ) |
Definition at line 958 of file algorithms.cpp.
References DBGLOG_ALGO.
int MinimalizeAlgorithm::getInputCount | ( | ) | const [inline, virtual] |
Implements IAlgorithm.
Definition at line 196 of file algorithms.h.
QString MinimalizeAlgorithm::getName | ( | ) | const [virtual] |
Implements IAlgorithm.
Definition at line 963 of file algorithms.cpp.
bool MinimalizeAlgorithm::runInternal | ( | const IAutomaton::TAutomataList & | input, | |
QSharedPointer< IAutomaton > & | result | |||
) | const [protected, virtual] |
each basic algorithm has to implements this method
Implements BasicAlgorithm.
Definition at line 968 of file algorithms.cpp.
References BasicAlgorithm::addReport(), DBGLOG_ALGO, BasicAlgorithm::determinize(), and RELLOG.