operations_research::sat::LazyReasonInterface Class Reference

Detailed Description

Definition at line 460 of file integer.h.

#include <integer.h>

Inheritance diagram for operations_research::sat::LazyReasonInterface:

Public Member Functions
	LazyReasonInterface ()=default
virtual	~LazyReasonInterface ()=default
virtual std::string	LazyReasonName () const =0
virtual void	Explain (int id, IntegerLiteral to_explain, IntegerReason *reason)=0

Constructor & Destructor Documentation

LazyReasonInterface()

operations_research::sat::LazyReasonInterface::LazyReasonInterface ( )

default

~LazyReasonInterface()

virtual operations_research::sat::LazyReasonInterface::~LazyReasonInterface ( )

virtualdefault

Member Function Documentation

Explain()

virtual void operations_research::sat::LazyReasonInterface::Explain ( int id, IntegerLiteral to_explain, IntegerReason * reason )

pure virtual

Implemented in operations_research::sat::GreaterThanAtLeastOneOfPropagator, operations_research::sat::GreaterThanMinOfExprsPropagator, operations_research::sat::Linear2Bounds, operations_research::sat::LinearConstraintPropagator< use_int128 >, operations_research::sat::LinearConstraintPropagator< false >, operations_research::sat::LinearConstraintPropagator< true >, and operations_research::sat::LinearPropagator.

LazyReasonName()

virtual std::string operations_research::sat::LazyReasonInterface::LazyReasonName ( ) const

pure virtual

Implemented in operations_research::sat::GreaterThanAtLeastOneOfPropagator, operations_research::sat::GreaterThanMinOfExprsPropagator, operations_research::sat::Linear2Bounds, operations_research::sat::LinearConstraintPropagator< use_int128 >, operations_research::sat::LinearConstraintPropagator< false >, operations_research::sat::LinearConstraintPropagator< true >, and operations_research::sat::LinearPropagator.

---

The documentation for this class was generated from the following file:

• ortools/sat/integer.h