OR-Tools  8.2
SatClause Member List

This is the complete list of members for SatClause, including all inherited members.

AsSpan() constSatClauseinline
begin() constSatClauseinline
Create(absl::Span< const Literal > literals)SatClausestatic
DebugString() constSatClause
empty() constSatClauseinline
end() constSatClauseinline
FirstLiteral() constSatClauseinline
IsAttached() constSatClauseinline
IsSatisfied(const VariablesAssignment &assignment) constSatClause
LiteralWatchers classSatClausefriend
operator delete(void *p)SatClauseinline
PropagatedLiteral() constSatClauseinline
PropagationReason() constSatClauseinline
RemoveFixedLiteralsAndTestIfTrue(const VariablesAssignment &assignment)SatClause
SecondLiteral() constSatClauseinline
size() constSatClauseinline