13#include <string/LinearString.h>
29 template <
class SymbolType >
34template <
class SymbolType >
36 unsigned n =
string.getContent ( ).size ( );
38 for (
unsigned i = 2;
i <= n; ++
i ) {
40 while ( NyIF.size ( ) >= 2 && NyIF [ 0 ] > NyIF [ 1 ] ) {
42 tmp.
insert ( tmp.
end ( ), NyIF [ 1 ].begin ( ), NyIF [ 1 ].end ( ) );
46 NyIF.push_front ( std::move ( tmp ) );
53 factorization.push_back (
i );
Class extending the deque class from the standard library. Original reason is to allow printing of th...
Definition: deque.hpp:44
Class extending the vector class from the standard library. Original reason is to allow printing of t...
Definition: vector.hpp:45
reverse_iterator insert(const_reverse_iterator pos, const T &value)
Inserts the value on position given by iterator pos.
Definition: vector.hpp:229
auto end() &
Inherited behavior of end for non-const instance.
Definition: vector.hpp:155
Linear string.
Definition: LinearString.h:57
Definition: NyldonFactoring.h:21
static ext::vector< unsigned > factorize(const string::LinearString< SymbolType > &string)
Definition: NyldonFactoring.h:35
int i
Definition: AllEpsilonClosure.h:118
Definition: ArithmeticCompression.h:18