Algorithms Library Toolkit
A toolkit for algorithms, especially for algorithms on formal languages
Data Structures | Typedefs | Functions

Data Structures

class  Component
 
class  Component< Derived, ComponentType, component::Set, ComponentName >
 
class  Component< Derived, ComponentType, component::Value, ComponentName >
 
class  Components
 
class  Components< Derived, ComponentType, ComponentCategory, ComponentName, Next ... >
 
class  Components< Derived, ComponentType, ComponentCategory, std::tuple< >, Next ... >
 
class  Components< Derived, ComponentType, ComponentCategory, std::tuple< ComponentName, ComponentNames ... >, Next ... >
 
class  ElementConstraint
 
class  ElementConstraint< automaton::CompactDFA< SymbolType, StateType >, StateType, automaton::InitialState >
 
class  ElementConstraint< automaton::CompactNFA< SymbolType, StateType >, StateType, automaton::InitialState >
 
class  ElementConstraint< automaton::DFA< SymbolType, StateType >, StateType, automaton::InitialState >
 
class  ElementConstraint< automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, PushdownStoreSymbolType, automaton::InitialSymbol >
 
class  ElementConstraint< automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::InitialState >
 
class  ElementConstraint< automaton::EpsilonNFA< SymbolType, StateType >, StateType, automaton::InitialState >
 
class  ElementConstraint< automaton::ExtendedNFA< SymbolType, StateType >, StateType, automaton::InitialState >
 
class  ElementConstraint< automaton::InputDrivenDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, PushdownStoreSymbolType, automaton::InitialSymbol >
 
class  ElementConstraint< automaton::InputDrivenDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::InitialState >
 
class  ElementConstraint< automaton::InputDrivenNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, PushdownStoreSymbolType, automaton::InitialSymbol >
 
class  ElementConstraint< automaton::InputDrivenNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::InitialState >
 
class  ElementConstraint< automaton::NFA< SymbolType, StateType >, StateType, automaton::InitialState >
 
class  ElementConstraint< automaton::NPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, PushdownStoreSymbolType, automaton::InitialSymbol >
 
class  ElementConstraint< automaton::NPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::InitialState >
 
class  ElementConstraint< automaton::NPDTA< InputSymbolType, OutputSymbolType, PushdownStoreSymbolType, StateType >, PushdownStoreSymbolType, automaton::InitialSymbol >
 
class  ElementConstraint< automaton::NPDTA< InputSymbolType, OutputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::InitialState >
 
class  ElementConstraint< automaton::OneTapeDTM< SymbolType, StateType >, StateType, automaton::InitialState >
 
class  ElementConstraint< automaton::OneTapeDTM< SymbolType, StateType >, SymbolType, automaton::BlankSymbol >
 
class  ElementConstraint< automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, PushdownStoreSymbolType, automaton::BottomOfTheStackSymbol >
 
class  ElementConstraint< automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::InitialState >
 
class  ElementConstraint< automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, PushdownStoreSymbolType, automaton::BottomOfTheStackSymbol >
 
class  ElementConstraint< automaton::SinglePopDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, PushdownStoreSymbolType, automaton::InitialSymbol >
 
class  ElementConstraint< automaton::SinglePopDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::InitialState >
 
class  ElementConstraint< automaton::SinglePopNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, PushdownStoreSymbolType, automaton::InitialSymbol >
 
class  ElementConstraint< automaton::SinglePopNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::InitialState >
 
class  ElementConstraint< automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, PushdownStoreSymbolType, automaton::BottomOfTheStackSymbol >
 
class  ElementConstraint< automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::InitialState >
 
class  ElementConstraint< automaton::VisiblyPushdownNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, PushdownStoreSymbolType, automaton::BottomOfTheStackSymbol >
 
class  ElementConstraint< grammar::CFG< TerminalSymbolType, NonterminalSymbolType >, NonterminalSymbolType, grammar::InitialSymbol >
 
class  ElementConstraint< grammar::CNF< TerminalSymbolType, NonterminalSymbolType >, NonterminalSymbolType, grammar::InitialSymbol >
 
class  ElementConstraint< grammar::ContextPreservingUnrestrictedGrammar< SymbolType >, SymbolType, grammar::InitialSymbol >
 
class  ElementConstraint< grammar::CSG< SymbolType >, SymbolType, grammar::InitialSymbol >
 
class  ElementConstraint< grammar::EpsilonFreeCFG< TerminalSymbolType, NonterminalSymbolType >, NonterminalSymbolType, grammar::InitialSymbol >
 
class  ElementConstraint< grammar::GNF< TerminalSymbolType, NonterminalSymbolType >, NonterminalSymbolType, grammar::InitialSymbol >
 
class  ElementConstraint< grammar::LeftLG< TerminalSymbolType, NonterminalSymbolType >, NonterminalSymbolType, grammar::InitialSymbol >
 
class  ElementConstraint< grammar::LeftRG< TerminalSymbolType, NonterminalSymbolType >, NonterminalSymbolType, grammar::InitialSymbol >
 
class  ElementConstraint< grammar::LG< TerminalSymbolType, NonterminalSymbolType >, NonterminalSymbolType, grammar::InitialSymbol >
 
class  ElementConstraint< grammar::NonContractingGrammar< SymbolType >, SymbolType, grammar::InitialSymbol >
 
class  ElementConstraint< grammar::RightLG< TerminalSymbolType, NonterminalSymbolType >, NonterminalSymbolType, grammar::InitialSymbol >
 
class  ElementConstraint< grammar::RightRG< TerminalSymbolType, NonterminalSymbolType >, NonterminalSymbolType, grammar::InitialSymbol >
 
class  ElementConstraint< grammar::UnrestrictedGrammar< SymbolType >, SymbolType, grammar::InitialSymbol >
 
class  ElementConstraint< indexes::SuffixTrieTerminatingSymbol, DefaultSymbolType, indexes::TerminatingSymbol >
 
class  ElementConstraint< string::LinearStringTerminatingSymbol, DefaultSymbolType, string::TerminatingSymbol >
 
class  ElementConstraint< string::WildcardLinearString< SymbolType >, SymbolType, string::WildcardSymbol >
 
class  ElementConstraint< tree::PrefixBarTree< SymbolType >, SymbolType, tree::BarSymbol >
 
class  ElementConstraint< tree::PrefixRankedBarNonlinearPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::SubtreeWildcard >
 
class  ElementConstraint< tree::PrefixRankedBarNonlinearPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::VariablesBarSymbol >
 
class  ElementConstraint< tree::PrefixRankedBarPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::SubtreeWildcard >
 
class  ElementConstraint< tree::PrefixRankedBarPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::VariablesBarSymbol >
 
class  ElementConstraint< tree::PrefixRankedExtendedPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::SubtreeWildcard >
 
class  ElementConstraint< tree::PrefixRankedNonlinearPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::SubtreeWildcard >
 
class  ElementConstraint< tree::PrefixRankedPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::SubtreeWildcard >
 
class  ElementConstraint< tree::RankedExtendedPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::SubtreeWildcard >
 
class  ElementConstraint< tree::RankedNonlinearPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::SubtreeWildcard >
 
class  ElementConstraint< tree::RankedPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::SubtreeWildcard >
 
class  ElementConstraint< tree::UnorderedRankedPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::SubtreeWildcard >
 
class  ElementConstraint< tree::UnorderedUnrankedPattern< SymbolType >, SymbolType, tree::SubtreeGap >
 
class  ElementConstraint< tree::UnorderedUnrankedPattern< SymbolType >, SymbolType, tree::SubtreeWildcard >
 
class  ElementConstraint< tree::UnrankedExtendedPattern< SymbolType >, SymbolType, tree::NodeWildcard >
 
class  ElementConstraint< tree::UnrankedExtendedPattern< SymbolType >, SymbolType, tree::SubtreeGap >
 
class  ElementConstraint< tree::UnrankedExtendedPattern< SymbolType >, SymbolType, tree::SubtreeWildcard >
 
class  ElementConstraint< tree::UnrankedNonlinearPattern< SymbolType >, SymbolType, tree::SubtreeGap >
 
class  ElementConstraint< tree::UnrankedNonlinearPattern< SymbolType >, SymbolType, tree::SubtreeWildcard >
 
class  ElementConstraint< tree::UnrankedPattern< SymbolType >, SymbolType, tree::SubtreeGap >
 
class  ElementConstraint< tree::UnrankedPattern< SymbolType >, SymbolType, tree::SubtreeWildcard >
 
struct  has_eval
 Type trait to determine existence of eval static method. A boolean field namd value is set to true if provided class (possibly cv-qualified and via reference) has eval static method. More...
 
struct  normalize
 
struct  normalize< alphabet::NonlinearVariableSymbol< SymbolType > >
 
struct  normalize< automaton::ArcFactoredDeterministicZAutomaton< SymbolType, StateType > >
 
struct  normalize< automaton::ArcFactoredNondeterministicZAutomaton< SymbolType, StateType > >
 
struct  normalize< automaton::CompactDFA< SymbolType, StateType > >
 
struct  normalize< automaton::CompactNFA< SymbolType, StateType > >
 
struct  normalize< automaton::DFA< SymbolType, StateType > >
 
struct  normalize< automaton::DFTA< SymbolType, StateType > >
 
struct  normalize< automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType > >
 
struct  normalize< automaton::EpsilonNFA< SymbolType, StateType > >
 
struct  normalize< automaton::EpsilonNFTA< SymbolType, StateType > >
 
struct  normalize< automaton::ExtendedNFA< SymbolType, StateType > >
 
struct  normalize< automaton::ExtendedNFTA< SymbolType, StateType > >
 
struct  normalize< automaton::InputDrivenDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > >
 
struct  normalize< automaton::InputDrivenNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > >
 
struct  normalize< automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType > >
 
struct  normalize< automaton::MultiInitialStateNFA< SymbolType, StateType > >
 
struct  normalize< automaton::NFA< SymbolType, StateType > >
 
struct  normalize< automaton::NFTA< SymbolType, StateType > >
 
struct  normalize< automaton::NondeterministicZAutomaton< SymbolType, StateType > >
 
struct  normalize< automaton::NPDA< InputSymbolType, PushdownStoreSymbolType, StateType > >
 
struct  normalize< automaton::NPDTA< InputSymbolType, OutputSymbolType, PushdownStoreSymbolType, StateType > >
 
struct  normalize< automaton::OneTapeDTM< SymbolType, StateType > >
 
struct  normalize< automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > >
 
struct  normalize< automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > >
 
struct  normalize< automaton::SinglePopDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > >
 
struct  normalize< automaton::SinglePopNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > >
 
struct  normalize< automaton::UnorderedDFTA< SymbolType, StateType > >
 
struct  normalize< automaton::UnorderedNFTA< SymbolType, StateType > >
 
struct  normalize< automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > >
 
struct  normalize< automaton::VisiblyPushdownNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > >
 
struct  normalize< common::ranked_symbol< SymbolType > >
 
struct  normalize< grammar::CFG< TerminalSymbolType, NonterminalSymbolType > >
 
struct  normalize< grammar::CNF< TerminalSymbolType, NonterminalSymbolType > >
 
struct  normalize< grammar::ContextPreservingUnrestrictedGrammar< SymbolType > >
 
struct  normalize< grammar::CSG< SymbolType > >
 
struct  normalize< grammar::EpsilonFreeCFG< TerminalSymbolType, NonterminalSymbolType > >
 
struct  normalize< grammar::GNF< TerminalSymbolType, NonterminalSymbolType > >
 
struct  normalize< grammar::LeftLG< TerminalSymbolType, NonterminalSymbolType > >
 
struct  normalize< grammar::LeftRG< TerminalSymbolType, NonterminalSymbolType > >
 
struct  normalize< grammar::LG< TerminalSymbolType, NonterminalSymbolType > >
 
struct  normalize< grammar::NonContractingGrammar< SymbolType > >
 
struct  normalize< grammar::RightLG< TerminalSymbolType, NonterminalSymbolType > >
 
struct  normalize< grammar::RightRG< TerminalSymbolType, NonterminalSymbolType > >
 
struct  normalize< grammar::UnrestrictedGrammar< SymbolType > >
 
struct  normalize< graph::DirectedGraph< TNode, TEdge > >
 
struct  normalize< graph::DirectedMultiGraph< TNode, TEdge > >
 
struct  normalize< graph::MixedGraph< TNode, TEdge > >
 
struct  normalize< graph::MixedMultiGraph< TNode, TEdge > >
 
struct  normalize< graph::UndirectedGraph< TNode, TEdge > >
 
struct  normalize< graph::UndirectedMultiGraph< TNode, TEdge > >
 
struct  normalize< graph::WeightedDirectedGraph< TNode, TEdge > >
 
struct  normalize< graph::WeightedDirectedMultiGraph< TNode, TEdge > >
 
struct  normalize< graph::WeightedMixedGraph< TNode, TEdge > >
 
struct  normalize< graph::WeightedMixedMultiGraph< TNode, TEdge > >
 
struct  normalize< graph::WeightedUndirectedGraph< TNode, TEdge > >
 
struct  normalize< graph::WeightedUndirectedMultiGraph< TNode, TEdge > >
 
struct  normalize< grid::SquareGrid4< TCoordinate, TEdge > >
 
struct  normalize< grid::SquareGrid8< TCoordinate, TEdge > >
 
struct  normalize< grid::WeightedSquareGrid4< TCoordinate, TEdge > >
 
struct  normalize< grid::WeightedSquareGrid8< TCoordinate, TEdge > >
 
struct  normalize< indexes::arbology::CompressedBitParallelTreeIndex< SymbolType > >
 
struct  normalize< indexes::arbology::FullAndLinearIndex< SymbolType, StringIndex > >
 
struct  normalize< indexes::arbology::NonlinearCompressedBitParallelTreeIndex< SymbolType > >
 
struct  normalize< indexes::arbology::NonlinearFullAndLinearIndex< SymbolType, StringIndex > >
 
struct  normalize< indexes::stringology::BitParallelIndex< SymbolType > >
 
struct  normalize< indexes::stringology::BitSetIndex< SymbolType, BitmaskBitCount > >
 
struct  normalize< indexes::stringology::CompactSuffixAutomatonTerminatingSymbol< SymbolType > >
 
struct  normalize< indexes::stringology::CompressedBitParallelIndex< SymbolType > >
 
struct  normalize< indexes::stringology::FactorOracleAutomaton< SymbolType > >
 
struct  normalize< indexes::stringology::PositionHeap< common::ranked_symbol< SymbolType > > >
 
struct  normalize< indexes::stringology::PositionHeap< SymbolType > >
 
struct  normalize< indexes::stringology::SuffixArray< SymbolType > >
 
struct  normalize< indexes::stringology::SuffixAutomaton< SymbolType > >
 
struct  normalize< indexes::stringology::SuffixTrie< SymbolType > >
 
struct  normalize< regexp::FormalRegExp< SymbolType > >
 
struct  normalize< regexp::UnboundedRegExp< SymbolType > >
 
struct  normalize< rte::FormalRTE< SymbolType > >
 
struct  normalize< string::CyclicString< SymbolType > >
 
struct  normalize< string::LinearString< common::ranked_symbol< SymbolType > > >
 
struct  normalize< string::LinearString< SymbolType > >
 
struct  normalize< string::WildcardLinearString< SymbolType > >
 
struct  normalize< tree::PostfixRankedTree< SymbolType > >
 
struct  normalize< tree::PrefixBarTree< SymbolType > >
 
struct  normalize< tree::PrefixRankedBarNonlinearPattern< SymbolType > >
 
struct  normalize< tree::PrefixRankedBarPattern< SymbolType > >
 
struct  normalize< tree::PrefixRankedBarTree< SymbolType > >
 
struct  normalize< tree::PrefixRankedExtendedPattern< SymbolType > >
 
struct  normalize< tree::PrefixRankedNonlinearPattern< SymbolType > >
 
struct  normalize< tree::PrefixRankedPattern< SymbolType > >
 
struct  normalize< tree::PrefixRankedTree< SymbolType > >
 
struct  normalize< tree::RankedExtendedPattern< SymbolType > >
 
struct  normalize< tree::RankedNonlinearPattern< SymbolType > >
 
struct  normalize< tree::RankedPattern< SymbolType > >
 
struct  normalize< tree::RankedTree< SymbolType > >
 
struct  normalize< tree::UnorderedRankedPattern< SymbolType > >
 
struct  normalize< tree::UnorderedRankedTree< SymbolType > >
 
struct  normalize< tree::UnorderedUnrankedPattern< SymbolType > >
 
struct  normalize< tree::UnorderedUnrankedTree< SymbolType > >
 
struct  normalize< tree::UnrankedExtendedPattern< SymbolType > >
 
struct  normalize< tree::UnrankedNonlinearPattern< SymbolType > >
 
struct  normalize< tree::UnrankedPattern< SymbolType > >
 
struct  normalize< tree::UnrankedTree< SymbolType > >
 
struct  rawApi
 
struct  rawApi< string::LinearString< SymbolType > >
 
struct  rawApi< tree::UnrankedTree< SymbolType > >
 
class  SetComponent
 
class  SetConstraint
 
class  SetConstraint< automaton::ArcFactoredDeterministicZAutomaton< SymbolType, StateType >, StateType, automaton::FinalStates >
 
class  SetConstraint< automaton::ArcFactoredDeterministicZAutomaton< SymbolType, StateType >, StateType, automaton::States >
 
class  SetConstraint< automaton::ArcFactoredDeterministicZAutomaton< SymbolType, StateType >, SymbolType, automaton::InputAlphabet >
 
class  SetConstraint< automaton::ArcFactoredNondeterministicZAutomaton< SymbolType, StateType >, StateType, automaton::FinalStates >
 
class  SetConstraint< automaton::ArcFactoredNondeterministicZAutomaton< SymbolType, StateType >, StateType, automaton::States >
 
class  SetConstraint< automaton::ArcFactoredNondeterministicZAutomaton< SymbolType, StateType >, SymbolType, automaton::InputAlphabet >
 
class  SetConstraint< automaton::CompactDFA< SymbolType, StateType >, StateType, automaton::FinalStates >
 
class  SetConstraint< automaton::CompactDFA< SymbolType, StateType >, StateType, automaton::States >
 
class  SetConstraint< automaton::CompactDFA< SymbolType, StateType >, SymbolType, automaton::InputAlphabet >
 
class  SetConstraint< automaton::CompactNFA< SymbolType, StateType >, StateType, automaton::FinalStates >
 
class  SetConstraint< automaton::CompactNFA< SymbolType, StateType >, StateType, automaton::States >
 
class  SetConstraint< automaton::CompactNFA< SymbolType, StateType >, SymbolType, automaton::InputAlphabet >
 
class  SetConstraint< automaton::DFA< SymbolType, StateType >, StateType, automaton::FinalStates >
 
class  SetConstraint< automaton::DFA< SymbolType, StateType >, StateType, automaton::States >
 
class  SetConstraint< automaton::DFA< SymbolType, StateType >, SymbolType, automaton::InputAlphabet >
 
class  SetConstraint< automaton::DFTA< SymbolType, StateType >, common::ranked_symbol< SymbolType >, automaton::InputAlphabet >
 
class  SetConstraint< automaton::DFTA< SymbolType, StateType >, StateType, automaton::FinalStates >
 
class  SetConstraint< automaton::DFTA< SymbolType, StateType >, StateType, automaton::States >
 
class  SetConstraint< automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, InputSymbolType, automaton::InputAlphabet >
 
class  SetConstraint< automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, PushdownStoreSymbolType, automaton::PushdownStoreAlphabet >
 
class  SetConstraint< automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::FinalStates >
 
class  SetConstraint< automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::States >
 
class  SetConstraint< automaton::EpsilonNFA< SymbolType, StateType >, StateType, automaton::FinalStates >
 
class  SetConstraint< automaton::EpsilonNFA< SymbolType, StateType >, StateType, automaton::States >
 
class  SetConstraint< automaton::EpsilonNFA< SymbolType, StateType >, SymbolType, automaton::InputAlphabet >
 
class  SetConstraint< automaton::EpsilonNFTA< SymbolType, StateType >, common::ranked_symbol< SymbolType >, automaton::InputAlphabet >
 
class  SetConstraint< automaton::EpsilonNFTA< SymbolType, StateType >, StateType, automaton::FinalStates >
 
class  SetConstraint< automaton::EpsilonNFTA< SymbolType, StateType >, StateType, automaton::States >
 
class  SetConstraint< automaton::ExtendedNFA< SymbolType, StateType >, StateType, automaton::FinalStates >
 
class  SetConstraint< automaton::ExtendedNFA< SymbolType, StateType >, StateType, automaton::States >
 
class  SetConstraint< automaton::ExtendedNFA< SymbolType, StateType >, SymbolType, automaton::InputAlphabet >
 
class  SetConstraint< automaton::ExtendedNFTA< SymbolType, StateType >, common::ranked_symbol< SymbolType >, automaton::InputAlphabet >
 
class  SetConstraint< automaton::ExtendedNFTA< SymbolType, StateType >, StateType, automaton::FinalStates >
 
class  SetConstraint< automaton::ExtendedNFTA< SymbolType, StateType >, StateType, automaton::States >
 
class  SetConstraint< automaton::InputDrivenDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, InputSymbolType, automaton::InputAlphabet >
 
class  SetConstraint< automaton::InputDrivenDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, PushdownStoreSymbolType, automaton::PushdownStoreAlphabet >
 
class  SetConstraint< automaton::InputDrivenDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::FinalStates >
 
class  SetConstraint< automaton::InputDrivenDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::States >
 
class  SetConstraint< automaton::InputDrivenNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, InputSymbolType, automaton::InputAlphabet >
 
class  SetConstraint< automaton::InputDrivenNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, PushdownStoreSymbolType, automaton::PushdownStoreAlphabet >
 
class  SetConstraint< automaton::InputDrivenNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::FinalStates >
 
class  SetConstraint< automaton::InputDrivenNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::States >
 
class  SetConstraint< automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType >, StateType, automaton::FinalStates >
 
class  SetConstraint< automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType >, StateType, automaton::InitialStates >
 
class  SetConstraint< automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType >, StateType, automaton::States >
 
class  SetConstraint< automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType >, SymbolType, automaton::InputAlphabet >
 
class  SetConstraint< automaton::MultiInitialStateNFA< SymbolType, StateType >, StateType, automaton::FinalStates >
 
class  SetConstraint< automaton::MultiInitialStateNFA< SymbolType, StateType >, StateType, automaton::InitialStates >
 
class  SetConstraint< automaton::MultiInitialStateNFA< SymbolType, StateType >, StateType, automaton::States >
 
class  SetConstraint< automaton::MultiInitialStateNFA< SymbolType, StateType >, SymbolType, automaton::InputAlphabet >
 
class  SetConstraint< automaton::NFA< SymbolType, StateType >, StateType, automaton::FinalStates >
 
class  SetConstraint< automaton::NFA< SymbolType, StateType >, StateType, automaton::States >
 
class  SetConstraint< automaton::NFA< SymbolType, StateType >, SymbolType, automaton::InputAlphabet >
 
class  SetConstraint< automaton::NFTA< SymbolType, StateType >, common::ranked_symbol< SymbolType >, automaton::InputAlphabet >
 
class  SetConstraint< automaton::NFTA< SymbolType, StateType >, StateType, automaton::FinalStates >
 
class  SetConstraint< automaton::NFTA< SymbolType, StateType >, StateType, automaton::States >
 
class  SetConstraint< automaton::NondeterministicZAutomaton< SymbolType, StateType >, StateType, automaton::FinalStates >
 
class  SetConstraint< automaton::NondeterministicZAutomaton< SymbolType, StateType >, StateType, automaton::States >
 
class  SetConstraint< automaton::NondeterministicZAutomaton< SymbolType, StateType >, SymbolType, automaton::InputAlphabet >
 
class  SetConstraint< automaton::NPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, InputSymbolType, automaton::InputAlphabet >
 
class  SetConstraint< automaton::NPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, PushdownStoreSymbolType, automaton::PushdownStoreAlphabet >
 
class  SetConstraint< automaton::NPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::FinalStates >
 
class  SetConstraint< automaton::NPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::States >
 
class  SetConstraint< automaton::NPDTA< InputSymbolType, OutputSymbolType, PushdownStoreSymbolType, StateType >, InputSymbolType, automaton::InputAlphabet >
 
class  SetConstraint< automaton::NPDTA< InputSymbolType, OutputSymbolType, PushdownStoreSymbolType, StateType >, OutputSymbolType, automaton::OutputAlphabet >
 
class  SetConstraint< automaton::NPDTA< InputSymbolType, OutputSymbolType, PushdownStoreSymbolType, StateType >, PushdownStoreSymbolType, automaton::PushdownStoreAlphabet >
 
class  SetConstraint< automaton::NPDTA< InputSymbolType, OutputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::FinalStates >
 
class  SetConstraint< automaton::NPDTA< InputSymbolType, OutputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::States >
 
class  SetConstraint< automaton::OneTapeDTM< SymbolType, StateType >, StateType, automaton::FinalStates >
 
class  SetConstraint< automaton::OneTapeDTM< SymbolType, StateType >, StateType, automaton::States >
 
class  SetConstraint< automaton::OneTapeDTM< SymbolType, StateType >, SymbolType, automaton::InputAlphabet >
 
class  SetConstraint< automaton::OneTapeDTM< SymbolType, StateType >, SymbolType, automaton::TapeAlphabet >
 
class  SetConstraint< automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, InputSymbolType, automaton::InputAlphabet >
 
class  SetConstraint< automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, PushdownStoreSymbolType, automaton::PushdownStoreAlphabet >
 
class  SetConstraint< automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::FinalStates >
 
class  SetConstraint< automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::States >
 
class  SetConstraint< automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, InputSymbolType, automaton::InputAlphabet >
 
class  SetConstraint< automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, PushdownStoreSymbolType, automaton::PushdownStoreAlphabet >
 
class  SetConstraint< automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::FinalStates >
 
class  SetConstraint< automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::InitialStates >
 
class  SetConstraint< automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::States >
 
class  SetConstraint< automaton::SinglePopDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, InputSymbolType, automaton::InputAlphabet >
 
class  SetConstraint< automaton::SinglePopDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, PushdownStoreSymbolType, automaton::PushdownStoreAlphabet >
 
class  SetConstraint< automaton::SinglePopDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::FinalStates >
 
class  SetConstraint< automaton::SinglePopDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::States >
 
class  SetConstraint< automaton::SinglePopNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, InputSymbolType, automaton::InputAlphabet >
 
class  SetConstraint< automaton::SinglePopNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, PushdownStoreSymbolType, automaton::PushdownStoreAlphabet >
 
class  SetConstraint< automaton::SinglePopNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::FinalStates >
 
class  SetConstraint< automaton::SinglePopNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::States >
 
class  SetConstraint< automaton::UnorderedDFTA< SymbolType, StateType >, common::ranked_symbol< SymbolType >, automaton::InputAlphabet >
 
class  SetConstraint< automaton::UnorderedDFTA< SymbolType, StateType >, StateType, automaton::FinalStates >
 
class  SetConstraint< automaton::UnorderedDFTA< SymbolType, StateType >, StateType, automaton::States >
 
class  SetConstraint< automaton::UnorderedNFTA< SymbolType, StateType >, common::ranked_symbol< SymbolType >, automaton::InputAlphabet >
 
class  SetConstraint< automaton::UnorderedNFTA< SymbolType, StateType >, StateType, automaton::FinalStates >
 
class  SetConstraint< automaton::UnorderedNFTA< SymbolType, StateType >, StateType, automaton::States >
 
class  SetConstraint< automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, InputSymbolType, automaton::CallAlphabet >
 
class  SetConstraint< automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, InputSymbolType, automaton::LocalAlphabet >
 
class  SetConstraint< automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, InputSymbolType, automaton::ReturnAlphabet >
 
class  SetConstraint< automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, PushdownStoreSymbolType, automaton::PushdownStoreAlphabet >
 
class  SetConstraint< automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::FinalStates >
 
class  SetConstraint< automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::States >
 
class  SetConstraint< automaton::VisiblyPushdownNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, InputSymbolType, automaton::CallAlphabet >
 
class  SetConstraint< automaton::VisiblyPushdownNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, InputSymbolType, automaton::LocalAlphabet >
 
class  SetConstraint< automaton::VisiblyPushdownNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, InputSymbolType, automaton::ReturnAlphabet >
 
class  SetConstraint< automaton::VisiblyPushdownNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, PushdownStoreSymbolType, automaton::PushdownStoreAlphabet >
 
class  SetConstraint< automaton::VisiblyPushdownNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::FinalStates >
 
class  SetConstraint< automaton::VisiblyPushdownNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::InitialStates >
 
class  SetConstraint< automaton::VisiblyPushdownNPDA< InputSymbolType, PushdownStoreSymbolType, StateType >, StateType, automaton::States >
 
class  SetConstraint< grammar::CFG< TerminalSymbolType, NonterminalSymbolType >, NonterminalSymbolType, grammar::NonterminalAlphabet >
 
class  SetConstraint< grammar::CFG< TerminalSymbolType, NonterminalSymbolType >, TerminalSymbolType, grammar::TerminalAlphabet >
 
class  SetConstraint< grammar::CNF< TerminalSymbolType, NonterminalSymbolType >, NonterminalSymbolType, grammar::NonterminalAlphabet >
 
class  SetConstraint< grammar::CNF< TerminalSymbolType, NonterminalSymbolType >, TerminalSymbolType, grammar::TerminalAlphabet >
 
class  SetConstraint< grammar::ContextPreservingUnrestrictedGrammar< SymbolType >, SymbolType, grammar::NonterminalAlphabet >
 
class  SetConstraint< grammar::ContextPreservingUnrestrictedGrammar< SymbolType >, SymbolType, grammar::TerminalAlphabet >
 
class  SetConstraint< grammar::CSG< SymbolType >, SymbolType, grammar::NonterminalAlphabet >
 
class  SetConstraint< grammar::CSG< SymbolType >, SymbolType, grammar::TerminalAlphabet >
 
class  SetConstraint< grammar::EpsilonFreeCFG< TerminalSymbolType, NonterminalSymbolType >, NonterminalSymbolType, grammar::NonterminalAlphabet >
 
class  SetConstraint< grammar::EpsilonFreeCFG< TerminalSymbolType, NonterminalSymbolType >, TerminalSymbolType, grammar::TerminalAlphabet >
 
class  SetConstraint< grammar::GNF< TerminalSymbolType, NonterminalSymbolType >, NonterminalSymbolType, grammar::NonterminalAlphabet >
 
class  SetConstraint< grammar::GNF< TerminalSymbolType, NonterminalSymbolType >, TerminalSymbolType, grammar::TerminalAlphabet >
 
class  SetConstraint< grammar::LeftLG< TerminalSymbolType, NonterminalSymbolType >, NonterminalSymbolType, grammar::NonterminalAlphabet >
 
class  SetConstraint< grammar::LeftLG< TerminalSymbolType, NonterminalSymbolType >, TerminalSymbolType, grammar::TerminalAlphabet >
 
class  SetConstraint< grammar::LeftRG< TerminalSymbolType, NonterminalSymbolType >, NonterminalSymbolType, grammar::NonterminalAlphabet >
 
class  SetConstraint< grammar::LeftRG< TerminalSymbolType, NonterminalSymbolType >, TerminalSymbolType, grammar::TerminalAlphabet >
 
class  SetConstraint< grammar::LG< TerminalSymbolType, NonterminalSymbolType >, NonterminalSymbolType, grammar::NonterminalAlphabet >
 
class  SetConstraint< grammar::LG< TerminalSymbolType, NonterminalSymbolType >, TerminalSymbolType, grammar::TerminalAlphabet >
 
class  SetConstraint< grammar::NonContractingGrammar< SymbolType >, SymbolType, grammar::NonterminalAlphabet >
 
class  SetConstraint< grammar::NonContractingGrammar< SymbolType >, SymbolType, grammar::TerminalAlphabet >
 
class  SetConstraint< grammar::RightLG< TerminalSymbolType, NonterminalSymbolType >, NonterminalSymbolType, grammar::NonterminalAlphabet >
 
class  SetConstraint< grammar::RightLG< TerminalSymbolType, NonterminalSymbolType >, TerminalSymbolType, grammar::TerminalAlphabet >
 
class  SetConstraint< grammar::RightRG< TerminalSymbolType, NonterminalSymbolType >, NonterminalSymbolType, grammar::NonterminalAlphabet >
 
class  SetConstraint< grammar::RightRG< TerminalSymbolType, NonterminalSymbolType >, TerminalSymbolType, grammar::TerminalAlphabet >
 
class  SetConstraint< grammar::UnrestrictedGrammar< SymbolType >, SymbolType, grammar::NonterminalAlphabet >
 
class  SetConstraint< grammar::UnrestrictedGrammar< SymbolType >, SymbolType, grammar::TerminalAlphabet >
 
class  SetConstraint< indexes::arbology::CompressedBitParallelTreeIndex< SymbolType >, common::ranked_symbol< SymbolType >, indexes::arbology::GeneralAlphabet >
 
class  SetConstraint< indexes::arbology::NonlinearCompressedBitParallelTreeIndex< SymbolType >, common::ranked_symbol< SymbolType >, indexes::arbology::GeneralAlphabet >
 
class  SetConstraint< indexes::stringology::BitParallelIndex< SymbolType >, SymbolType, indexes::stringology::GeneralAlphabet >
 
class  SetConstraint< indexes::stringology::CompressedBitParallelIndex< SymbolType >, SymbolType, indexes::stringology::GeneralAlphabet >
 
class  SetConstraint< indexes::stringology::SuffixTrie< SymbolType >, SymbolType, indexes::stringology::GeneralAlphabet >
 
class  SetConstraint< indexes::SuffixTrieTerminatingSymbol, DefaultSymbolType, indexes::GeneralAlphabet >
 
class  SetConstraint< regexp::FormalRegExp< SymbolType >, SymbolType, regexp::GeneralAlphabet >
 
class  SetConstraint< regexp::UnboundedRegExp< SymbolType >, SymbolType, regexp::GeneralAlphabet >
 
class  SetConstraint< rte::FormalRTE< SymbolType >, common::ranked_symbol< SymbolType >, rte::ConstantAlphabet >
 
class  SetConstraint< rte::FormalRTE< SymbolType >, common::ranked_symbol< SymbolType >, rte::GeneralAlphabet >
 
class  SetConstraint< string::CyclicString< SymbolType >, SymbolType, string::GeneralAlphabet >
 
class  SetConstraint< string::LinearString< SymbolType >, SymbolType, string::GeneralAlphabet >
 
class  SetConstraint< string::LinearStringTerminatingSymbol, DefaultSymbolType, string::GeneralAlphabet >
 
class  SetConstraint< string::WildcardLinearString< SymbolType >, SymbolType, string::GeneralAlphabet >
 
class  SetConstraint< tree::PostfixRankedTree< SymbolType >, common::ranked_symbol< SymbolType >, tree::GeneralAlphabet >
 
class  SetConstraint< tree::PrefixBarTree< SymbolType >, SymbolType, tree::GeneralAlphabet >
 
class  SetConstraint< tree::PrefixRankedBarNonlinearPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::BarSymbols >
 
class  SetConstraint< tree::PrefixRankedBarNonlinearPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::GeneralAlphabet >
 
class  SetConstraint< tree::PrefixRankedBarNonlinearPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::NonlinearAlphabet >
 
class  SetConstraint< tree::PrefixRankedBarPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::BarSymbols >
 
class  SetConstraint< tree::PrefixRankedBarPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::GeneralAlphabet >
 
class  SetConstraint< tree::PrefixRankedBarTree< SymbolType >, common::ranked_symbol< SymbolType >, tree::BarSymbols >
 
class  SetConstraint< tree::PrefixRankedBarTree< SymbolType >, common::ranked_symbol< SymbolType >, tree::GeneralAlphabet >
 
class  SetConstraint< tree::PrefixRankedExtendedPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::GeneralAlphabet >
 
class  SetConstraint< tree::PrefixRankedExtendedPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::NodeWildcards >
 
class  SetConstraint< tree::PrefixRankedNonlinearPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::GeneralAlphabet >
 
class  SetConstraint< tree::PrefixRankedNonlinearPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::NonlinearAlphabet >
 
class  SetConstraint< tree::PrefixRankedPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::GeneralAlphabet >
 
class  SetConstraint< tree::PrefixRankedTree< SymbolType >, common::ranked_symbol< SymbolType >, tree::GeneralAlphabet >
 
class  SetConstraint< tree::RankedExtendedPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::GeneralAlphabet >
 
class  SetConstraint< tree::RankedExtendedPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::NodeWildcards >
 
class  SetConstraint< tree::RankedNonlinearPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::GeneralAlphabet >
 
class  SetConstraint< tree::RankedNonlinearPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::NonlinearAlphabet >
 
class  SetConstraint< tree::RankedPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::GeneralAlphabet >
 
class  SetConstraint< tree::RankedTree< SymbolType >, common::ranked_symbol< SymbolType >, tree::GeneralAlphabet >
 
class  SetConstraint< tree::UnorderedRankedPattern< SymbolType >, common::ranked_symbol< SymbolType >, tree::GeneralAlphabet >
 
class  SetConstraint< tree::UnorderedRankedTree< SymbolType >, common::ranked_symbol< SymbolType >, tree::GeneralAlphabet >
 
class  SetConstraint< tree::UnorderedUnrankedPattern< SymbolType >, SymbolType, tree::GeneralAlphabet >
 
class  SetConstraint< tree::UnorderedUnrankedTree< SymbolType >, SymbolType, tree::GeneralAlphabet >
 
class  SetConstraint< tree::UnrankedExtendedPattern< SymbolType >, SymbolType, tree::GeneralAlphabet >
 
class  SetConstraint< tree::UnrankedNonlinearPattern< SymbolType >, SymbolType, tree::GeneralAlphabet >
 
class  SetConstraint< tree::UnrankedNonlinearPattern< SymbolType >, SymbolType, tree::NonlinearAlphabet >
 
class  SetConstraint< tree::UnrankedPattern< SymbolType >, SymbolType, tree::GeneralAlphabet >
 
class  SetConstraint< tree::UnrankedTree< SymbolType >, SymbolType, tree::GeneralAlphabet >
 
struct  stringApi
 
struct  stringApi< alphabet::BarSymbol >
 
struct  stringApi< alphabet::BlankSymbol >
 
struct  stringApi< alphabet::BottomOfTheStackSymbol >
 
struct  stringApi< alphabet::EndSymbol >
 
struct  stringApi< alphabet::GapSymbol >
 
struct  stringApi< alphabet::InitialSymbol >
 
struct  stringApi< alphabet::NonlinearVariableSymbol< SymbolType > >
 
struct  stringApi< alphabet::StartSymbol >
 
struct  stringApi< alphabet::VariablesBarSymbol >
 
struct  stringApi< alphabet::WildcardSymbol >
 
struct  stringApi< automaton::DFA< SymbolType, StateType > >
 
struct  stringApi< automaton::DFTA< SymbolType, StateType > >
 
struct  stringApi< automaton::EpsilonNFA< SymbolType, StateType > >
 
struct  stringApi< automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType > >
 
struct  stringApi< automaton::MultiInitialStateNFA< SymbolType, StateType > >
 
struct  stringApi< automaton::NFA< SymbolType, StateType > >
 
struct  stringApi< automaton::NFTA< SymbolType, StateType > >
 
struct  stringApi< bool >
 
struct  stringApi< char >
 
struct  stringApi< common::ranked_symbol< SymbolType > >
 
struct  stringApi< common::symbol_or_epsilon< SymbolType > >
 
struct  stringApi< ext::pair< FirstType, SecondType > >
 
struct  stringApi< ext::set< ValueType > >
 
struct  stringApi< ext::variant< Types ... > >
 
struct  stringApi< ext::vector< ValueType > >
 
struct  stringApi< grammar::CFG< TerminalSymbolType, NonterminalSymbolType > >
 
struct  stringApi< grammar::CNF< TerminalSymbolType, NonterminalSymbolType > >
 
struct  stringApi< grammar::ContextPreservingUnrestrictedGrammar< SymbolType > >
 
struct  stringApi< grammar::CSG< SymbolType > >
 
struct  stringApi< grammar::EpsilonFreeCFG< TerminalSymbolType, NonterminalSymbolType > >
 
struct  stringApi< grammar::GNF< TerminalSymbolType, NonterminalSymbolType > >
 
struct  stringApi< grammar::LeftLG< TerminalSymbolType, NonterminalSymbolType > >
 
struct  stringApi< grammar::LeftRG< TerminalSymbolType, NonterminalSymbolType > >
 
struct  stringApi< grammar::LG< TerminalSymbolType, NonterminalSymbolType > >
 
struct  stringApi< grammar::NonContractingGrammar< SymbolType > >
 
struct  stringApi< grammar::RightLG< TerminalSymbolType, NonterminalSymbolType > >
 
struct  stringApi< grammar::RightRG< TerminalSymbolType, NonterminalSymbolType > >
 
struct  stringApi< grammar::UnrestrictedGrammar< SymbolType > >
 
struct  stringApi< int >
 
struct  stringApi< label::FailStateLabel >
 
struct  stringApi< label::FinalStateLabel >
 
struct  stringApi< label::InitialStateLabel >
 
struct  stringApi< object::Object >
 
struct  stringApi< object::Void >
 
struct  stringApi< regexp::FormalRegExp< SymbolType > >
 
struct  stringApi< regexp::FormalRegExpStructure< SymbolType > >
 
struct  stringApi< regexp::UnboundedRegExp< SymbolType > >
 
struct  stringApi< regexp::UnboundedRegExpStructure< SymbolType > >
 
struct  stringApi< rte::FormalRTE< SymbolType > >
 
struct  stringApi< rte::FormalRTEStructure< SymbolType > >
 
struct  stringApi< std::pair< FirstType, SecondType > >
 
struct  stringApi< std::string >
 
struct  stringApi< string::CyclicString< SymbolType > >
 
struct  stringApi< string::LinearString< SymbolType > >
 
struct  stringApi< tree::RankedExtendedPattern< SymbolType > >
 
struct  stringApi< tree::RankedNonlinearPattern< SymbolType > >
 
struct  stringApi< tree::RankedPattern< SymbolType > >
 
struct  stringApi< tree::RankedTree< SymbolType > >
 
struct  stringApi< tree::UnrankedExtendedPattern< SymbolType > >
 
struct  stringApi< tree::UnrankedNonlinearPattern< SymbolType > >
 
struct  stringApi< tree::UnrankedPattern< SymbolType > >
 
struct  stringApi< tree::UnrankedTree< SymbolType > >
 
struct  stringApi< unsigned >
 
struct  stringApi< unsigned long >
 
class  VisitorContextAux
 Class implementing an actual visitor interface to the visitor. More...
 
class  VisitorContextAux< void, Visitor, Params ... >
 Class implementing an actual visitor interface to the visitor. More...
 
struct  xmlApi
 
struct  xmlApi< abstraction::AlgorithmCategories::AlgorithmCategory >
 
struct  xmlApi< abstraction::TypeQualifiers::TypeQualifierSet >
 
struct  xmlApi< alphabet::BarSymbol >
 
struct  xmlApi< alphabet::BlankSymbol >
 
struct  xmlApi< alphabet::BottomOfTheStackSymbol >
 
struct  xmlApi< alphabet::EndSymbol >
 
struct  xmlApi< alphabet::GapSymbol >
 
struct  xmlApi< alphabet::InitialSymbol >
 
struct  xmlApi< alphabet::NonlinearVariableSymbol< T > >
 
struct  xmlApi< alphabet::StartSymbol >
 
struct  xmlApi< alphabet::VariablesBarSymbol >
 
struct  xmlApi< alphabet::WildcardSymbol >
 
struct  xmlApi< automaton::CompactNFA< SymbolType, StateType > >
 
struct  xmlApi< automaton::DFA< SymbolType, StateType > >
 
struct  xmlApi< automaton::DFTA< SymbolType, StateType > >
 
struct  xmlApi< automaton::DPDA< InputSymbolType, PushdownStoreSymbolType, StateType > >
 
struct  xmlApi< automaton::EpsilonNFA< SymbolType, StateType > >
 
struct  xmlApi< automaton::ExtendedNFA< SymbolType, StateType > >
 
struct  xmlApi< automaton::InputDrivenDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > >
 
struct  xmlApi< automaton::InputDrivenNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > >
 
struct  xmlApi< automaton::MultiInitialStateEpsilonNFA< SymbolType, StateType > >
 
struct  xmlApi< automaton::MultiInitialStateNFA< SymbolType, StateType > >
 
struct  xmlApi< automaton::NFA< SymbolType, StateType > >
 
struct  xmlApi< automaton::NFTA< SymbolType, StateType > >
 
struct  xmlApi< automaton::NondeterministicZAutomaton< SymbolType, StateType > >
 
struct  xmlApi< automaton::NPDA< InputSymbolType, PushdownStoreSymbolType, StateType > >
 
struct  xmlApi< automaton::NPDTA< InputSymbolType, OutputSymbolType, PushdownStoreSymbolType, StateType > >
 
struct  xmlApi< automaton::OneTapeDTM< SymbolType, StateType > >
 
struct  xmlApi< automaton::RealTimeHeightDeterministicDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > >
 
struct  xmlApi< automaton::RealTimeHeightDeterministicNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > >
 
struct  xmlApi< automaton::SinglePopDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > >
 
struct  xmlApi< automaton::SinglePopNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > >
 
struct  xmlApi< automaton::UnorderedNFTA< SymbolType, StateType > >
 
struct  xmlApi< automaton::VisiblyPushdownDPDA< InputSymbolType, PushdownStoreSymbolType, StateType > >
 
struct  xmlApi< automaton::VisiblyPushdownNPDA< InputSymbolType, PushdownStoreSymbolType, StateType > >
 
struct  xmlApi< bool >
 
struct  xmlApi< char >
 
struct  xmlApi< common::ranked_symbol< T > >
 
struct  xmlApi< common::SparseBoolVector >
 
struct  xmlApi< common::symbol_or_epsilon< T > >
 
struct  xmlApi< double >
 
struct  xmlApi< example::DataType >
 
struct  xmlApi< ext::bitset< N > >
 
struct  xmlApi< ext::deque< T > >
 
struct  xmlApi< ext::list< T > >
 
struct  xmlApi< ext::map< T, R > >
 
struct  xmlApi< ext::multimap< T, R > >
 
struct  xmlApi< ext::pair< T, R > >
 
struct  xmlApi< ext::set< T > >
 
struct  xmlApi< ext::tree< T > >
 
struct  xmlApi< ext::trie< T, R > >
 
struct  xmlApi< ext::tuple< Ts ... > >
 
struct  xmlApi< ext::variant< Ts ... > >
 
struct  xmlApi< ext::vector< T > >
 
struct  xmlApi< grammar::CFG< TerminalSymbolType, NonterminalSymbolType > >
 
struct  xmlApi< grammar::CNF< TerminalSymbolType, NonterminalSymbolType > >
 
struct  xmlApi< grammar::ContextPreservingUnrestrictedGrammar< SymbolType > >
 
struct  xmlApi< grammar::CSG< SymbolType > >
 
struct  xmlApi< grammar::EpsilonFreeCFG< TerminalSymbolType, NonterminalSymbolType > >
 
struct  xmlApi< grammar::GNF< TerminalSymbolType, NonterminalSymbolType > >
 
struct  xmlApi< grammar::LeftLG< TerminalSymbolType, NonterminalSymbolType > >
 
struct  xmlApi< grammar::LeftRG< TerminalSymbolType, NonterminalSymbolType > >
 
struct  xmlApi< grammar::LG< TerminalSymbolType, NonterminalSymbolType > >
 
struct  xmlApi< grammar::NonContractingGrammar< SymbolType > >
 
struct  xmlApi< grammar::RightLG< TerminalSymbolType, NonterminalSymbolType > >
 
struct  xmlApi< grammar::RightRG< TerminalSymbolType, NonterminalSymbolType > >
 
struct  xmlApi< grammar::UnrestrictedGrammar< SymbolType > >
 
struct  xmlApi< indexes::arbology::CompressedBitParallelTreeIndex< SymbolType > >
 
struct  xmlApi< indexes::arbology::FullAndLinearIndex< SymbolType, StringIndex > >
 
struct  xmlApi< indexes::arbology::NonlinearCompressedBitParallelTreeIndex< SymbolType > >
 
struct  xmlApi< indexes::arbology::NonlinearFullAndLinearIndex< SymbolType, StringIndex > >
 
struct  xmlApi< indexes::stringology::BitParallelIndex< SymbolType > >
 
struct  xmlApi< indexes::stringology::BitSetIndex< SymbolType, BitmaskBitCount > >
 
struct  xmlApi< indexes::stringology::CompactSuffixAutomatonTerminatingSymbol< SymbolType > >
 
struct  xmlApi< indexes::stringology::CompressedBitParallelIndex< SymbolType > >
 
struct  xmlApi< indexes::stringology::FactorOracleAutomaton< SymbolType > >
 
struct  xmlApi< indexes::stringology::PositionHeap< SymbolType > >
 
struct  xmlApi< indexes::stringology::SuffixArray< SymbolType > >
 
struct  xmlApi< indexes::stringology::SuffixAutomaton< SymbolType > >
 
struct  xmlApi< indexes::stringology::SuffixTrie< SymbolType > >
 
struct  xmlApi< indexes::SuffixTrieTerminatingSymbol >
 
struct  xmlApi< int >
 
struct  xmlApi< label::FailStateLabel >
 
struct  xmlApi< label::FinalStateLabel >
 
struct  xmlApi< label::InitialStateLabel >
 
struct  xmlApi< measurements::MeasurementResults >
 
struct  xmlApi< object::Object >
 
struct  xmlApi< object::Void >
 
struct  xmlApi< regexp::FormalRegExp< SymbolType > >
 
struct  xmlApi< regexp::FormalRegExpStructure< SymbolType > >
 Specialisation of the xmlApi class for formal regular expression. More...
 
struct  xmlApi< regexp::UnboundedRegExp< SymbolType > >
 
struct  xmlApi< regexp::UnboundedRegExpStructure< SymbolType > >
 Specialisation of the xmlApi class for unbounded regular expression. More...
 
struct  xmlApi< rte::FormalRTE< SymbolType > >
 
struct  xmlApi< rte::FormalRTEStructure< SymbolType > >
 Specialisation of the xmlApi class for formal regular expression. More...
 
struct  xmlApi< std::optional< T > >
 
struct  xmlApi< std::pair< T, R > >
 
struct  xmlApi< std::string >
 
struct  xmlApi< string::CyclicString< SymbolType > >
 
struct  xmlApi< string::LinearString< SymbolType > >
 
struct  xmlApi< string::LinearStringTerminatingSymbol >
 
struct  xmlApi< string::WildcardLinearString< SymbolType > >
 
struct  xmlApi< tree::PostfixRankedTree< SymbolType > >
 
struct  xmlApi< tree::PrefixBarTree< SymbolType > >
 
struct  xmlApi< tree::PrefixRankedBarNonlinearPattern< SymbolType > >
 
struct  xmlApi< tree::PrefixRankedBarPattern< SymbolType > >
 
struct  xmlApi< tree::PrefixRankedBarTree< SymbolType > >
 
struct  xmlApi< tree::PrefixRankedNonlinearPattern< SymbolType > >
 
struct  xmlApi< tree::PrefixRankedPattern< SymbolType > >
 
struct  xmlApi< tree::PrefixRankedTree< SymbolType > >
 
struct  xmlApi< tree::RankedNonlinearPattern< SymbolType > >
 
struct  xmlApi< tree::RankedPattern< SymbolType > >
 
struct  xmlApi< tree::RankedTree< SymbolType > >
 
struct  xmlApi< tree::UnrankedNonlinearPattern< SymbolType > >
 
struct  xmlApi< tree::UnrankedPattern< SymbolType > >
 
struct  xmlApi< tree::UnrankedTree< SymbolType > >
 
struct  xmlApi< unsigned >
 
struct  xmlApi< unsigned long >
 
struct  xmlApi< void >
 
class  xmlApiInputContext
 
class  xmlApiOutputContext
 

Typedefs

template<class ReturnType >
using normalizationResult = typename std::decay_t< typename std::invoke_result_t< decltype(core::normalize< ReturnType >::eval), ReturnType && > >
 

Functions

template<typename T >
parseVariantHelper (ext::deque< sax::Token >::iterator &)
 
template<typename T , typename R , typename ... Ts>
parseVariantHelper (ext::deque< sax::Token >::iterator &input)
 
template<typename T , typename R , typename ... Ts>
firstVariantHelper (ext::deque< sax::Token >::iterator &input)
 
template<typename T >
void composeVariantHelper (ext::deque< sax::Token > &, const T &)
 
template<typename T , typename R , typename ... Ts>
void composeVariantHelper (ext::deque< sax::Token > &out, const T &container)
 

Typedef Documentation

◆ normalizationResult

template<class ReturnType >
using core::normalizationResult = typedef typename std::decay_t < typename std::invoke_result_t < decltype ( core::normalize < ReturnType >::eval ), ReturnType && > >

Function Documentation

◆ composeVariantHelper() [1/2]

template<typename T >
void core::composeVariantHelper ( ext::deque< sax::Token > &  ,
const T &   
)
Here is the caller graph for this function:

◆ composeVariantHelper() [2/2]

template<typename T , typename R , typename ... Ts>
void core::composeVariantHelper ( ext::deque< sax::Token > &  out,
const T &  container 
)
Here is the call graph for this function:

◆ firstVariantHelper()

template<typename T , typename R , typename ... Ts>
T core::firstVariantHelper ( ext::deque< sax::Token >::iterator &  input)
Here is the call graph for this function:
Here is the caller graph for this function:

◆ parseVariantHelper() [1/2]

template<typename T >
T core::parseVariantHelper ( ext::deque< sax::Token >::iterator &  )
Here is the caller graph for this function:

◆ parseVariantHelper() [2/2]

template<typename T , typename R , typename ... Ts>
T core::parseVariantHelper ( ext::deque< sax::Token >::iterator &  input)
Here is the call graph for this function: