![]() |
OR-Tools
8.2
|
This is the complete list of members for SatClause, including all inherited members.
AsSpan() const | SatClause | inline |
begin() const | SatClause | inline |
Create(absl::Span< const Literal > literals) | SatClause | static |
DebugString() const | SatClause | |
empty() const | SatClause | inline |
end() const | SatClause | inline |
FirstLiteral() const | SatClause | inline |
IsAttached() const | SatClause | inline |
IsSatisfied(const VariablesAssignment &assignment) const | SatClause | |
LiteralWatchers class | SatClause | friend |
operator delete(void *p) | SatClause | inline |
PropagatedLiteral() const | SatClause | inline |
PropagationReason() const | SatClause | inline |
RemoveFixedLiteralsAndTestIfTrue(const VariablesAssignment &assignment) | SatClause | |
SecondLiteral() const | SatClause | inline |
size() const | SatClause | inline |