|
smats
0.0.1
Satisfability Modulo Arithmetic Theories Symbols
|
This is the complete list of members for smats::Variable, including all inherited members.
equal_to(const Variable &o) const noexcept | smats::Variable | inline |
get_next_id(Variable::Type type) | smats::Variable | privatestatic |
hash(InvocableHashAlgorithm auto &hasher) const noexcept | smats::Variable | inline |
Id typedef (defined in smats::Variable) | smats::Variable | |
id() const | smats::Variable | inline |
id_ | smats::Variable | private |
is_dummy() const | smats::Variable | inline |
less(const Variable &o) const noexcept | smats::Variable | inline |
name() const | smats::Variable | |
name_ | smats::Variable | private |
operator=(const Variable &)=default (defined in smats::Variable) | smats::Variable | |
operator=(Variable &&other) noexcept (defined in smats::Variable) | smats::Variable | inline |
Type enum name | smats::Variable | |
type() const | smats::Variable | inline |
Variable() | smats::Variable | inline |
Variable(const std::string &name, Type type=Type::CONTINUOUS) | smats::Variable | explicit |
Variable(const Variable &)=default (defined in smats::Variable) | smats::Variable | |
Variable(Variable &&other) noexcept (defined in smats::Variable) | smats::Variable | inline |