Represents the substitution symbol in the regular tree expression. The node can't have any children. More...

#include <FormalRTESymbolSubst.h>

Inheritance diagram for rte::FormalRTESymbolSubst< SymbolType >:

Collaboration diagram for rte::FormalRTESymbolSubst< SymbolType >:

Public Member Functions
	FormalRTESymbolSubst (common::ranked_symbol< SymbolType > symbol)
	Creates a new instance of the symbol node using the actual symbol to represent. More...

FormalRTESymbolSubst< SymbolType > *	clone () const &override
	< SymbolType >::clone ( ) const & More...

FormalRTESymbolSubst< SymbolType > *	clone () &&override
	< SymbolType >::clone ( ) && More...

bool	testSymbol (const common::ranked_symbol< SymbolType > &symbol) const override
	< SymbolType >::testSymbol ( const common::ranked_symbol < SymbolType > & ) const More...

void	computeMinimalAlphabet (ext::set< common::ranked_symbol< SymbolType > > &alphabetF, ext::set< common::ranked_symbol< SymbolType > > &alphabetK) const override
	< SymbolType >::computeMinimalAlphabet ( ext::set < common::ranked_symbol < SymbolType > > &, ext::set < common::ranked_symbol < SymbolType > > & ) const More...

bool	checkAlphabet (const ext::set< common::ranked_symbol< SymbolType > > &alphabetF, const ext::set< common::ranked_symbol< SymbolType > > &alphabetK) const override
	< SymbolType >::checkAlphabet ( const ext::set < common::ranked_symbol < SymbolType > > &, const ext::set < common::ranked_symbol < SymbolType > > & ) const More...

std::strong_ordering	operator<=> (const FormalRTEElement< SymbolType > &other) const override
	< SymbolType >::operator <=> ( const FormalRTEElement < SymbolType > & other ) const; More...

std::strong_ordering	operator<=> (const FormalRTESymbolSubst< SymbolType > &) const

bool	operator== (const FormalRTEElement< SymbolType > &other) const override
	< SymbolType >::operator == ( const FormalRTEElement < SymbolType > & other ) const; More...

bool	operator== (const FormalRTESymbolSubst< SymbolType > &) const

void	operator>> (ext::ostream &out) const override
	< FormalRTEElement < SymbolType > >::operator >> ( ext::ostream & ) const More...

ext::smart_ptr< FormalRTEElement< DefaultSymbolType > >	normalize () &&override
	< SymbolType >::normalize ( ) && More...

Public Member Functions inherited from rte::FormalRTESymbol< SymbolType >
	FormalRTESymbol (common::ranked_symbol< SymbolType > symbol)
	Creates a new instance of the symbol node using the actual symbol to represent. More...

const common::ranked_symbol< SymbolType > &	getSymbol () const &

common::ranked_symbol< SymbolType > &&	getSymbol () &&

Public Member Functions inherited from ext::NullaryNode< FormalRTEElement< SymbolType > >
	NullaryNode ()
	The default constructor of the class. More...

Public Member Functions inherited from ext::AnyaryNode< Data, arity, Base >
	AnyaryNode (ext::ptr_array< Data, arity > c)
	Constructor based on array of child nodes. More...

	~AnyaryNode () noexcept override=default
	Destructor of the class. More...

	AnyaryNode (const AnyaryNode &other)
	Copy constructor. More...

	AnyaryNode (AnyaryNode &&other) noexcept
	Move constructor. More...

AnyaryNode &	operator= (const AnyaryNode &other)
	Copy operator of assignment. More...

AnyaryNode &	operator= (AnyaryNode &&other) noexcept
	move operator of assignment. More...

const ext::ptr_array< Data, arity > &	getChildren () &
	Getter of the child nodes. More...

const ext::ptr_array< Data, arity > &	getChildren () const &
	Getter of the child nodes. More...

ext::ptr_array< Data, arity > &&	getChildren () &&
	Getter of the child nodes. More...

template<size_t N>
const Data &	getChild () const
	Getter of the child node based on compile time index. More...

template<size_t N>
Data &	getChild ()
	Getter of the child node based on compile time index. More...

void	setChildren (ext::ptr_array< Data, arity > c)
	Setter of the child nodes. More...

template<size_t N>
void	setChild (const Data &d)
	Setter of the child node based on compile time index. More...

template<size_t N>
void	setChild (Data &&d)
	Setter of the child node based on compile time index. More...

ext::ptr_array< Data, arity >::iterator	begin ()
	Getter of an iterator to the begining of children array. More...

ext::ptr_array< Data, arity >::const_iterator	begin () const
	Getter of an iterator to the begining of children array. More...

ext::ptr_array< Data, arity >::iterator	end ()
	Getter of an iterator to the end of children array. More...

ext::ptr_array< Data, arity >::const_iterator	end () const
	Getter of an iterator to the end of children array. More...

Detailed Description

template<class SymbolType>
class rte::FormalRTESymbolSubst< SymbolType >

Represents the substitution symbol in the regular tree expression. The node can't have any children.

The structure is derived from NullaryNode.

The node can be visited by the FormalRTEElement < SymbolType >::Visitor

Template Parameters

SymbolType used for the symbol part of the ranked symbol

Constructor & Destructor Documentation

◆ FormalRTESymbolSubst()

template<class SymbolType >

rte::FormalRTESymbolSubst< SymbolType >::FormalRTESymbolSubst ( common::ranked_symbol< SymbolType > symbol )

explicit

Creates a new instance of the symbol node using the actual symbol to represent.

Parameters

symbol the value of the represented symbol

Member Function Documentation

◆ checkAlphabet()

template<class SymbolType >

bool rte::FormalRTESymbolSubst< SymbolType >::checkAlphabet	(	const ext::set< common::ranked_symbol< SymbolType > > &	alphabetF,
		const ext::set< common::ranked_symbol< SymbolType > > &	alphabetK
	)		const

override

< SymbolType >::checkAlphabet ( const ext::set < common::ranked_symbol < SymbolType > > &, const ext::set < common::ranked_symbol < SymbolType > > & ) const

Abstract class representing element in the formal regular tree expression. Can be an operator, special node, or a symbol.

Template Parameters

SymbolType used for the symbol part of the ranked symbol < SymbolType >::checkAlphabet ( const ext::set < common::ranked_symbol < SymbolType > > &, const ext::set < common::ranked_symbol < SymbolType > > & ) const

◆ clone() [1/2]

template<class SymbolType >

FormalRTESymbolSubst< SymbolType > * rte::FormalRTESymbolSubst< SymbolType >::clone ( ) &&

override

< SymbolType >::clone ( ) &&

Abstract class representing element in the formal regular tree expression. Can be an operator, special node, or a symbol.

Template Parameters

SymbolType used for the symbol part of the ranked symbol < SymbolType >::clone ( ) &&

◆ clone() [2/2]

template<class SymbolType >

FormalRTESymbolSubst< SymbolType > * rte::FormalRTESymbolSubst< SymbolType >::clone ( ) const &

override

< SymbolType >::clone ( ) const &

Abstract class representing element in the formal regular tree expression. Can be an operator, special node, or a symbol.

Template Parameters

SymbolType used for the symbol part of the ranked symbol < SymbolType >::clone ( ) const &

◆ computeMinimalAlphabet()

template<class SymbolType >

void rte::FormalRTESymbolSubst< SymbolType >::computeMinimalAlphabet	(	ext::set< common::ranked_symbol< SymbolType > > &	alphabetF,
		ext::set< common::ranked_symbol< SymbolType > > &	alphabetK
	)		const

override

< SymbolType >::computeMinimalAlphabet ( ext::set < common::ranked_symbol < SymbolType > > &, ext::set < common::ranked_symbol < SymbolType > > & ) const

Abstract class representing element in the formal regular tree expression. Can be an operator, special node, or a symbol.

Template Parameters

SymbolType used for the symbol part of the ranked symbol < SymbolType >::computeMinimalAlphabet ( ext::set < common::ranked_symbol < SymbolType > > &, ext::set < common::ranked_symbol < SymbolType > > & ) const

◆ normalize()

template<class SymbolType >

ext::smart_ptr< FormalRTEElement< DefaultSymbolType > > rte::FormalRTESymbolSubst< SymbolType >::normalize ( ) &&

inlineoverride

< SymbolType >::normalize ( ) &&

Abstract class representing element in the formal regular tree expression. Can be an operator, special node, or a symbol.

Template Parameters

SymbolType used for the symbol part of the ranked symbol < SymbolType >::normalize ( ) &&

Here is the call graph for this function:

◆ operator<=>() [1/2]

template<class SymbolType >

std::strong_ordering rte::FormalRTESymbolSubst< SymbolType >::operator<=> ( const FormalRTEElement< SymbolType > & other ) const

inlineoverride

< SymbolType >::operator <=> ( const FormalRTEElement < SymbolType > & other ) const;

Abstract class representing element in the formal regular tree expression. Can be an operator, special node, or a symbol.

Template Parameters

SymbolType used for the symbol part of the ranked symbol < SymbolType >::operator <=> ( const FormalRTEElement < SymbolType > & other ) const;

◆ operator<=>() [2/2]

template<class SymbolType >

std::strong_ordering rte::FormalRTESymbolSubst< SymbolType >::operator<=> ( const FormalRTESymbolSubst< SymbolType > & other ) const

The three way comparison implementation

Parameters

other the other instance

Returns: the ordering between this object and the other.

Here is the call graph for this function:

◆ operator==() [1/2]

template<class SymbolType >

bool rte::FormalRTESymbolSubst< SymbolType >::operator== ( const FormalRTEElement< SymbolType > & other ) const

inlineoverride

< SymbolType >::operator == ( const FormalRTEElement < SymbolType > & other ) const;

Abstract class representing element in the formal regular tree expression. Can be an operator, special node, or a symbol.

Template Parameters

SymbolType used for the symbol part of the ranked symbol < SymbolType >::operator == ( const FormalRTEElement < SymbolType > & other ) const;

◆ operator==() [2/2]

template<class SymbolType >

bool rte::FormalRTESymbolSubst< SymbolType >::operator== ( const FormalRTESymbolSubst< SymbolType > & other ) const

The equality comparison implementation.

Parameters

other the other object to compare with.

Returns: true if this and other objects are equal, false othervise

Here is the call graph for this function:

◆ operator>>()

template<class SymbolType >

void rte::FormalRTESymbolSubst< SymbolType >::operator>> ( ext::ostream & out ) const

override

< FormalRTEElement < SymbolType > >::operator >> ( ext::ostream & ) const

◆ testSymbol()

template<class SymbolType >

bool rte::FormalRTESymbolSubst< SymbolType >::testSymbol ( const common::ranked_symbol< SymbolType > & symbol ) const

override

< SymbolType >::testSymbol ( const common::ranked_symbol < SymbolType > & ) const

Abstract class representing element in the formal regular tree expression. Can be an operator, special node, or a symbol.

Template Parameters

SymbolType used for the symbol part of the ranked symbol < SymbolType >::testSymbol ( const common::ranked_symbol < SymbolType > & ) const

The documentation for this class was generated from the following files:

alib2data/src/rte/formal/FormalRTEElement.h
alib2data/src/rte/formal/FormalRTESymbolSubst.h

Public Member Functions

Detailed Description

Constructor & Destructor Documentation

◆ FormalRTESymbolSubst()

Member Function Documentation

◆ checkAlphabet()

◆ clone() [1/2]

◆ clone() [2/2]

◆ computeMinimalAlphabet()

◆ normalize()

◆ operator<=>() [1/2]

◆ operator<=>() [2/2]

◆ operator==() [1/2]

◆ operator==() [2/2]

◆ operator>>()

◆ testSymbol()