smats  0.0.1
Satisfability Modulo Arithmetic Theories Symbols
Loading...
Searching...
No Matches
smats::Variable Member List

This is the complete list of members for smats::Variable, including all inherited members.

equal_to(const Variable &o) const noexceptsmats::Variableinline
get_next_id(Variable::Type type)smats::Variableprivatestatic
hash(InvocableHashAlgorithm auto &hasher) const noexceptsmats::Variableinline
Id typedef (defined in smats::Variable)smats::Variable
id() constsmats::Variableinline
id_smats::Variableprivate
is_dummy() constsmats::Variableinline
less(const Variable &o) const noexceptsmats::Variableinline
name() constsmats::Variable
name_smats::Variableprivate
operator=(const Variable &)=default (defined in smats::Variable)smats::Variable
operator=(Variable &&other) noexcept (defined in smats::Variable)smats::Variableinline
Type enum namesmats::Variable
type() constsmats::Variableinline
Variable()smats::Variableinline
Variable(const std::string &name, Type type=Type::CONTINUOUS)smats::Variableexplicit
Variable(const Variable &)=default (defined in smats::Variable)smats::Variable
Variable(Variable &&other) noexcept (defined in smats::Variable)smats::Variableinline