Clingo
Loading...
Searching...
No Matches
CppClingo::Symbol Member List

This is the complete list of members for CppClingo::Symbol, including all inherited members.

acquire() const noexceptCppClingo::Symbol
args() const noexcept -> SymbolSpanCppClingo::Symbol
compareCppClingo::Symbolfriend
compareCppClingo::Symbolfriend
compareCppClingo::Symbolfriend
flip_classical_sign() const -> std::optional< Symbol >CppClingo::Symbol
from_rep(uint64_t rep) noexcept -> SymbolCppClingo::Symbolinlinestatic
has_classical_sign() const -> boolCppClingo::Symbol
has_sign() const -> boolCppClingo::Symbol
hash() const -> size_tCppClingo::Symbolinline
name() const noexcept -> StringCppClingo::Symbol
num() const noexcept -> Number const &CppClingo::Symbol
operator<<CppClingo::Symbolfriend
operator<<CppClingo::Symbolfriend
operator<=>CppClingo::Symbolfriend
operator<=>CppClingo::Symbolfriend
operator<=>CppClingo::Symbolfriend
operator==CppClingo::Symbolfriend
operator==CppClingo::Symbolfriend
operator==CppClingo::Symbolfriend
release() const noexceptCppClingo::Symbol
signature() const -> std::optional< std::tuple< String, size_t, bool > >CppClingo::Symbol
str() const noexcept -> StringCppClingo::Symbol
Symbol()=defaultCppClingo::Symbol
to_rep(Symbol sym) noexcept -> uint64_tCppClingo::Symbolinlinestatic
type() const noexcept -> SymbolTypeCppClingo::Symbol