30template <
class SymbolType = DefaultSymbolType >
31class PrefixRankedBarPattern;
36#include <ext/algorithm>
56#include <string/LinearString.h>
66class VariablesBarSymbol;
84template <
class SymbolType >
85class PrefixRankedBarPattern final :
public core::Components < PrefixRankedBarPattern < SymbolType >, ext::set < common::ranked_symbol < SymbolType > >, component::Set, std::tuple < GeneralAlphabet, BarSymbols >, common::ranked_symbol < SymbolType >, component::Value, std::tuple < SubtreeWildcard, VariablesBarSymbol > > {
149 return this->
template accessComponent < GeneralAlphabet > ( ).get ( );
158 return std::move ( this->
template accessComponent < GeneralAlphabet > ( ).
get ( ) );
167 this->
template accessComponent < GeneralAlphabet > ( ).add ( symbols );
176 return this->
template accessComponent < BarSymbols > ( ).get ( );
185 return std::move ( this->
template accessComponent < BarSymbols > ( ).
get ( ) );
194 this->
template accessComponent < BarSymbols > ( ).add ( bars );
203 return this->
template accessComponent < SubtreeWildcard > ( ).get ( );
212 return std::move ( this->
template accessComponent < SubtreeWildcard > ( ).
get ( ) );
221 return this->
template accessComponent < VariablesBarSymbol > ( ).get ( );
230 return std::move ( this->
template accessComponent < VariablesBarSymbol > ( ).
get ( ) );
292 out <<
"(PrefixRankedBarPattern";
294 out <<
" bars = " << instance.
getBars ( );
296 out <<
" content = " << instance.
getContent ( );
312template <
class SymbolType >
313PrefixRankedBarPattern < SymbolType >::PrefixRankedBarPattern (
ext::set < common::ranked_symbol < SymbolType > > bars,
common::ranked_symbol < SymbolType > variablesBar,
common::ranked_symbol < SymbolType > subtreeWildcard,
ext::set < common::ranked_symbol < SymbolType > >
alphabet,
ext::vector < common::ranked_symbol < SymbolType > > data ) :
core::Components <
PrefixRankedBarPattern,
ext::set <
common::ranked_symbol < SymbolType > >, component::Set, std::tuple < GeneralAlphabet, BarSymbols >,
common::ranked_symbol < SymbolType >, component::Value, std::tuple < SubtreeWildcard, VariablesBarSymbol > > ( std::move (
alphabet ), std::move ( bars ), std::move ( subtreeWildcard ), std::move ( variablesBar ) ) {
314 setContent ( std::move ( data ) );
317template <
class SymbolType >
321template <
class SymbolType >
322PrefixRankedBarPattern < SymbolType >::PrefixRankedBarPattern (
SymbolType barBase,
common::ranked_symbol < SymbolType > variablesBar,
const RankedPattern < SymbolType > &
tree ) :
PrefixRankedBarPattern (
TreeAuxiliary::computeBars (
tree.getAlphabet ( ), barBase ) +
ext::set <
common::ranked_symbol < SymbolType > > { variablesBar }, variablesBar,
tree.getSubtreeWildcard ( ),
tree.getAlphabet ( ) +
TreeAuxiliary::computeBars (
tree.getAlphabet ( ), barBase ) +
ext::set < common::ranked_symbol < SymbolType > > { variablesBar,
tree.getSubtreeWildcard ( ) },
TreeAuxiliary::treeToPrefix (
tree.getContent ( ),
tree.getSubtreeWildcard ( ), barBase, variablesBar ) ) {
325template <
class SymbolType >
329template <
class SymbolType >
333template <
class SymbolType >
338template <
class SymbolType >
340 return std::move ( this->m_Data );
343template <
class SymbolType >
345 arityChecksum ( data );
349 throw TreeException (
"Input symbols not in the alphabet." );
352 this->m_Data = std::move ( data );
355template <
class SymbolType >
364 if ( getBars ( ).contains ( symbol ) || symbol == getVariablesBar ( ) )
365 return Data { current.terminals, static_cast < int > ( current.bars + symbol.getRank ( ) - 1 ), current.types - 1 };
367 return Data { static_cast < int > ( current.terminals + symbol.getRank ( ) - 1 ), current.bars, current.types + 1 };
370 if ( accRes.terminals != 0 || accRes.bars != 0 || accRes.types != 0 )
371 throw TreeException (
"The string does not form a tree" );
373 for (
unsigned i = 1;
i < data.size ( ); ++
i )
374 if ( data [
i - 1 ] == getSubtreeWildcard ( ) && data [
i ] != getVariablesBar ( ) )
375 throw TreeException (
"Inconsystency of SubtreeWildcard and variablesBar" );
378template <
class SymbolType >
380 return this->m_Data.empty ( );
392template <
class SymbolType >
406 return std::find ( content.
begin ( ), content.
end ( ), symbol ) != content.
end ( ) || pattern.template accessComponent < tree::VariablesBarSymbol > ( ).get ( ) == symbol || pattern.template accessComponent < tree::BarSymbols > ( ).get ( ).count ( symbol ) || pattern.template accessComponent < tree::SubtreeWildcard > ( ).get ( ) == symbol;
436template <
class SymbolType >
450 return std::find ( content.
begin ( ), content.
end ( ), symbol ) != content.
end ( ) || pattern.template accessComponent < tree::VariablesBarSymbol > ( ).get ( ) == symbol;
462 return pattern.template accessComponent < tree::GeneralAlphabet > ( ).get ( ).count ( symbol );
480template <
class SymbolType >
492 return pattern.template accessComponent < tree::GeneralAlphabet > ( ).get ( ).count ( symbol );
514template <
class SymbolType >
526 return pattern.template accessComponent < tree::BarSymbols > ( ).get ( ).count ( symbol );
548template <
class SymbolType >
static ext::vector< common::ranked_symbol< DefaultSymbolType > > normalizeRankedSymbols(ext::vector< common::ranked_symbol< SymbolType > > &&symbols)
Definition: SymbolNormalize.h:113
static common::ranked_symbol< DefaultSymbolType > normalizeRankedSymbol(common::ranked_symbol< SymbolType > &&symbol)
Definition: SymbolNormalize.h:81
static ext::set< common::ranked_symbol< DefaultSymbolType > > normalizeRankedAlphabet(ext::set< common::ranked_symbol< SymbolType > > &&symbols)
Definition: SymbolNormalize.h:59
static Base instance()
Factory for the symbol construction of the symbol based on given type.
Definition: WildcardSymbol.h:83
Definition: ranked_symbol.hpp:20
const size_t & getRank() const &
Definition: ranked_symbol.hpp:83
Definition: components.hpp:181
static bool available(const tree::PrefixRankedBarPattern< SymbolType > &pattern, const common::ranked_symbol< SymbolType > &symbol)
Definition: PrefixRankedBarPattern.h:491
static void valid(const tree::PrefixRankedBarPattern< SymbolType > &, const common::ranked_symbol< SymbolType > &symbol)
Definition: PrefixRankedBarPattern.h:503
static bool available(const tree::PrefixRankedBarPattern< SymbolType > &pattern, const common::ranked_symbol< SymbolType > &symbol)
Definition: PrefixRankedBarPattern.h:525
static void valid(const tree::PrefixRankedBarPattern< SymbolType > &, const common::ranked_symbol< SymbolType > &symbol)
Definition: PrefixRankedBarPattern.h:537
Definition: components.hpp:25
static bool available(const tree::PrefixRankedBarPattern< SymbolType > &, const common::ranked_symbol< SymbolType > &)
Definition: PrefixRankedBarPattern.h:417
static void valid(const tree::PrefixRankedBarPattern< SymbolType > &, const common::ranked_symbol< SymbolType > &)
Definition: PrefixRankedBarPattern.h:427
static bool used(const tree::PrefixRankedBarPattern< SymbolType > &pattern, const common::ranked_symbol< SymbolType > &symbol)
Definition: PrefixRankedBarPattern.h:403
static bool available(const tree::PrefixRankedBarPattern< SymbolType > &pattern, const common::ranked_symbol< SymbolType > &symbol)
Definition: PrefixRankedBarPattern.h:461
static bool used(const tree::PrefixRankedBarPattern< SymbolType > &pattern, const common::ranked_symbol< SymbolType > &symbol)
Definition: PrefixRankedBarPattern.h:447
static void valid(const tree::PrefixRankedBarPattern< SymbolType > &, const common::ranked_symbol< SymbolType > &)
Definition: PrefixRankedBarPattern.h:471
Definition: setComponents.hpp:26
Output iterator calling a callback function on assignment.
Definition: iterator.hpp:923
auto begin() &
Inherited behavior of begin for non-const instance.
Definition: set.hpp:99
auto end() &
Inherited behavior of end for non-const instance.
Definition: set.hpp:129
Class extending the vector class from the standard library. Original reason is to allow printing of t...
Definition: vector.hpp:45
auto begin() &
Inherited behavior of begin for non-const instance.
Definition: vector.hpp:125
auto end() &
Inherited behavior of end for non-const instance.
Definition: vector.hpp:155
Linear string.
Definition: LinearString.h:57
Tree pattern represented as linear sequece as result of preorder traversal with additional bar symbol...
Definition: PrefixRankedBarPattern.h:85
PrefixRankedBarPattern(ext::set< common::ranked_symbol< SymbolType > > bars, common::ranked_symbol< SymbolType > variablesBar, common::ranked_symbol< SymbolType > subtreeWildcard, ext::set< common::ranked_symbol< SymbolType > > alphabet, ext::vector< common::ranked_symbol< SymbolType > > data)
Creates a new instance of the pattern with concrete alphabet, bars, content, wildcard,...
Definition: PrefixRankedBarPattern.h:313
void extendBars(const ext::set< common::ranked_symbol< SymbolType > > &bars)
Definition: PrefixRankedBarPattern.h:193
const common::ranked_symbol< SymbolType > & getVariablesBar() const &
Definition: PrefixRankedBarPattern.h:220
bool operator==(const PrefixRankedBarPattern &other) const
Definition: PrefixRankedBarPattern.h:279
const common::ranked_symbol< SymbolType > & getSubtreeWildcard() const &
Definition: PrefixRankedBarPattern.h:202
const ext::set< common::ranked_symbol< SymbolType > > & getAlphabet() const &
Definition: PrefixRankedBarPattern.h:148
void extendAlphabet(const ext::set< common::ranked_symbol< SymbolType > > &symbols)
Definition: PrefixRankedBarPattern.h:166
common::ranked_symbol< SymbolType > && getVariablesBar() &&
Definition: PrefixRankedBarPattern.h:229
common::ranked_symbol< SymbolType > && getSubtreeWildcard() &&
Definition: PrefixRankedBarPattern.h:211
bool isEmpty() const
Definition: PrefixRankedBarPattern.h:379
const ext::set< common::ranked_symbol< SymbolType > > & getBars() const &
Definition: PrefixRankedBarPattern.h:175
const ext::vector< common::ranked_symbol< SymbolType > > & getContent() const &
Definition: PrefixRankedBarPattern.h:334
friend ext::ostream & operator<<(ext::ostream &out, const PrefixRankedBarPattern &instance)
Definition: PrefixRankedBarPattern.h:291
void setContent(ext::vector< common::ranked_symbol< SymbolType > > data)
Definition: PrefixRankedBarPattern.h:344
ext::set< common::ranked_symbol< SymbolType > > && getAlphabet() &&
Definition: PrefixRankedBarPattern.h:157
ext::set< common::ranked_symbol< SymbolType > > && getBars() &&
Definition: PrefixRankedBarPattern.h:184
Tree structure represented as linear sequece as result of preorder traversal with additional bar symb...
Definition: PrefixRankedBarTree.h:78
Tree pattern represented in its natural representation. The representation is so called ranked,...
Definition: RankedPattern.h:72
static ext::set< common::ranked_symbol< SymbolType > > computeBars(const ext::set< common::ranked_symbol< SymbolType > > &alphabet, const SymbolType &barBase)
Definition: TreeAuxiliary.h:89
static ext::vector< common::ranked_symbol< SymbolType > > treeToPrefix(const ext::tree< common::ranked_symbol< SymbolType > > &tree)
Definition: TreeAuxiliary.h:185
Definition: TreeException.h:15
Definition: BarSymbol.cpp:12
int i
Definition: AllEpsilonClosure.h:118
typename T::SymbolType SymbolType
Definition: ReachableStates.h:176
Definition: Permutation.hpp:18
Definition: normalize.hpp:10
Definition: sigHandler.cpp:20
constexpr tuple< Elements &... > tie(Elements &... args) noexcept
Helper of extended tuple of references construction. The tuple is constructed to reffer to values in ...
Definition: tuple.hpp:218
auto begin(Container &&cont) -> decltype(std::forward(cont).begin())
Definition: iterator.hpp:900
void end()
Definition: measurements.cpp:19
auto & get(ext::ptr_array< Type, N > &tpl)
Specialisation of get function for pointer arrays.
Definition: ptr_array.hpp:693
Definition: BackwardOccurrenceTest.h:17
static tree::PrefixRankedBarPattern< > eval(tree::PrefixRankedBarPattern< SymbolType > &&value)
Definition: PrefixRankedBarPattern.h:550
Definition: normalize.hpp:13