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, IntegerValue propagation_slack, IntegerVariable var_to_explain, int trail_index, std::vector< Literal > *literals_reason, std::vector< int > *trail_indices_reason)=0	operations_research::sat::LazyReasonInterface	pure virtual
LazyReasonInterface()=default	operations_research::sat::LazyReasonInterface
~LazyReasonInterface()=default	operations_research::sat::LazyReasonInterface	virtual