operations_research::sat::DisjunctiveSimplePrecedences Class Reference

Detailed Description

Definition at line 217 of file disjunctive.h.

#include <disjunctive.h>

Inheritance diagram for operations_research::sat::DisjunctiveSimplePrecedences:

Public Member Functions
	DisjunctiveSimplePrecedences (SchedulingConstraintHelper *helper, Model *model=nullptr)
bool	Propagate () final
int	RegisterWith (GenericLiteralWatcher *watcher)
Public Member Functions inherited from operations_research::sat::PropagatorInterface
	PropagatorInterface ()=default
virtual	~PropagatorInterface ()=default
virtual bool	IncrementalPropagate (const std::vector< int > &)

Constructor & Destructor Documentation

DisjunctiveSimplePrecedences()

operations_research::sat::DisjunctiveSimplePrecedences::DisjunctiveSimplePrecedences ( SchedulingConstraintHelper * helper, Model * model = nullptr )

inlineexplicit

Definition at line 219 of file disjunctive.h.

Member Function Documentation

Propagate()

bool operations_research::sat::DisjunctiveSimplePrecedences::Propagate ( )

finalvirtual

Implements operations_research::sat::PropagatorInterface.

Definition at line 801 of file disjunctive.cc.

RegisterWith()

int operations_research::sat::DisjunctiveSimplePrecedences::RegisterWith

(

GenericLiteralWatcher *

watcher

)

Definition at line 794 of file disjunctive.cc.

---

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

• ortools/sat/disjunctive.h
• ortools/sat/disjunctive.cc