Trim.h

Go to the documentation of this file.

 
#pragma once
 
#include <algorithm>
#include <deque>
#include <set>
 
#include "UselessStatesRemover.h"
#include "UnreachableStatesRemover.h"
 
namespace automaton {
 
namespace simplify {
 
namespace efficient {
 
class Trim {
public:
    template<class T>
    static T trim( const T & fsm );
};
 
template<class T>
T Trim::trim( const T & fsm ) {
    return UselessStatesRemover::remove ( UnreachableStatesRemover::remove( fsm ) );
}
 
} /* namespace efficient */
 
} /* namespace simplify */
 
} /* namespace automaton */