Clingo
|
This is the complete list of members for Clingo::Assignment, including all inherited members.
Assignment(clingo_assignment_t const *assignment) | Clingo::Assignment | inlineexplicit |
at(size_type size) const -> value_type | Clingo::Assignment | inline |
begin() const -> iterator | Clingo::Assignment | inline |
contains(SolverLiteral lit) const -> bool | Clingo::Assignment | inline |
decision(ProgramId level) const -> SolverLiteral | Clingo::Assignment | inline |
decision_level() const -> ProgramId | Clingo::Assignment | inline |
difference_type typedef | Clingo::Assignment | |
end() const -> iterator | Clingo::Assignment | inline |
has_conflict() const -> bool | Clingo::Assignment | inline |
is_false(SolverLiteral lit) const -> bool | Clingo::Assignment | inline |
is_fixed(SolverLiteral lit) const -> bool | Clingo::Assignment | inline |
is_free(SolverLiteral lit) const -> bool | Clingo::Assignment | inline |
is_total() const -> bool | Clingo::Assignment | inline |
is_true(SolverLiteral lit) const -> bool | Clingo::Assignment | inline |
iterator typedef | Clingo::Assignment | |
level(SolverLiteral lit) const -> ProgramId | Clingo::Assignment | inline |
operator[](size_type size) const -> value_type | Clingo::Assignment | inline |
pointer typedef | Clingo::Assignment | |
reference typedef | Clingo::Assignment | |
root_level() const -> ProgramId | Clingo::Assignment | inline |
size() const -> size_type | Clingo::Assignment | inline |
size_type typedef | Clingo::Assignment | |
trail() const -> Trail | Clingo::Assignment | inline |
value(SolverLiteral lit) const -> std::optional< bool > | Clingo::Assignment | inline |
value_type typedef | Clingo::Assignment |