operations_research::sat::LazyReasonInterface Member List

This is the complete list of members for operations_research::sat::LazyReasonInterface, including all inherited members.

Explain(int id, IntegerLiteral to_explain, IntegerReason *reason)=0	operations_research::sat::LazyReasonInterface	pure virtual
LazyReasonInterface()=default	operations_research::sat::LazyReasonInterface
LazyReasonName() const =0	operations_research::sat::LazyReasonInterface	pure virtual
~LazyReasonInterface()=default	operations_research::sat::LazyReasonInterface	virtual