Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
SuffixAutomaton.h
Go to the documentation of this file.
1
6/*
7 * This file is part of Algorithms library toolkit.
8 * Copyright (C) 2017 Jan Travnicek (jan.travnicek@fit.cvut.cz)
9
10 * Algorithms library toolkit is free software: you can redistribute it and/or modify
11 * it under the terms of the GNU General Public License as published by
12 * the Free Software Foundation, either version 3 of the License, or
13 * (at your option) any later version.
14
15 * Algorithms library toolkit is distributed in the hope that it will be useful,
16 * but WITHOUT ANY WARRANTY; without even the implied warranty of
17 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
18 * GNU General Public License for more details.
19
20 * You should have received a copy of the GNU General Public License
21 * along with Algorithms library toolkit. If not, see <http://www.gnu.org/licenses/>.
22 */
23
24#pragma once
25
27
29#include <core/xmlApi.hpp>
30
32
34
35namespace core {
36
37template < class SymbolType >
38struct xmlApi < indexes::stringology::SuffixAutomaton < SymbolType > > {
40 static bool first ( const ext::deque < sax::Token >::const_iterator & input );
41 static std::string xmlTagName ( );
42 static void compose ( ext::deque < sax::Token > & output, const indexes::stringology::SuffixAutomaton < SymbolType > & index );
43};
44
45template < class SymbolType >
49 unsigned backboneLength = core::xmlApi < unsigned >::parse ( input );
51
53 return res;
54}
55
56template < class SymbolType >
59}
60
61template < class SymbolType >
63 return "SuffixAutomaton";
64}
65
66template < class SymbolType >
68 output.emplace_back ( xmlTagName ( ), sax::Token::TokenType::START_ELEMENT );
71 output.emplace_back ( xmlTagName ( ), sax::Token::TokenType::END_ELEMENT );
72}
73
74} /* namespace core */
75
Deterministic finite automaton. Accepts regular languages.
Definition: DFA.h:71
Class extending the deque class from the standard library. Original reason is to allow printing of th...
Definition: deque.hpp:44
Suffix automaton string index. Automaton representation of all suffixes. The automaton is general det...
Definition: SuffixAutomaton.h:50
unsigned getBackboneLength() const
Definition: SuffixAutomaton.h:116
const automaton::DFA< SymbolType, unsigned > & getAutomaton() const &
Definition: SuffixAutomaton.h:175
static void popToken(ext::deque< Token >::iterator &input, Token::TokenType type, const std::string &data)
Definition: FromXMLParserHelper.cpp:39
static bool isToken(ext::deque< Token >::const_iterator input, Token::TokenType type, const std::string &data)
Definition: FromXMLParserHelper.cpp:29
return res
Definition: MinimizeByPartitioning.h:145
Definition: ToGrammar.h:31
Definition: normalize.hpp:10
Definition: CompressedBitParallelTreeIndex.h:40
Definition: xmlApi.hpp:27