51 return std::strong_ordering::equal;
78 template <
typename Base >
82template <
typename Base >
84 if constexpr ( std::is_integral_v < Base > ) {
86 }
else if constexpr ( std::is_same_v < Base, std::string > ) {
87 return std::string ( 1, GapSymbol::instance < char > ( ) );
88 }
else if constexpr ( std::is_same_v < Base, GapSymbol > ) {
90 }
else if constexpr ( std::is_same_v < Base, object::Object > ) {
92 }
else if constexpr ( std::is_same_v < Base, common::ranked_symbol < > > ) {
95 static_assert ( std::is_same_v < Base, Base >,
"Unsupported type of instance" );
Represents a wildcard used as representation of anything here in a string or a tree.
Definition: GapSymbol.h:35
std::strong_ordering operator<=>(const GapSymbol &) const
Definition: GapSymbol.h:50
bool operator==(const GapSymbol &) const
Definition: GapSymbol.h:61
GapSymbol()
Creates a new instance of the symbol.
friend ext::ostream & operator<<(ext::ostream &out, const GapSymbol &instance)
Definition: GapSymbol.cpp:16
static Base instance()
Factory for the symbol construction of the symbol based on given type.
Definition: GapSymbol.h:83
Definition: ranked_symbol.hpp:20
Definition: BarSymbol.cpp:12