Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
FactorOracleAutomaton.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::FactorOracleAutomaton < SymbolType > > {
40 static bool first ( const ext::deque < sax::Token >::const_iterator & input );
41 static std::string xmlTagName ( );
43};
44
45template < class SymbolType >
50
52 return res;
53}
54
55template < class SymbolType >
58}
59
60template < class SymbolType >
62 return "FactorOracleAutomaton";
63}
64
65template < class SymbolType >
67 output.emplace_back ( xmlTagName ( ), sax::Token::TokenType::START_ELEMENT );
69 output.emplace_back ( xmlTagName ( ), sax::Token::TokenType::END_ELEMENT );
70}
71
72} /* namespace core */
73
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
Factor oracle automaton string index. Stores a deterministic finite automaton. The automaton is of ex...
Definition: FactorOracleAutomaton.h:49
const automaton::DFA< SymbolType, unsigned > & getAutomaton() const &
Definition: FactorOracleAutomaton.h:167
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