Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::PropagatorInterface Class Referenceabstract

Detailed Description

Definition at line 1276 of file integer.h.

#include <integer.h>

Inheritance diagram for operations_research::sat::PropagatorInterface:
operations_research::sat::LinearConstraintPropagator< false > operations_research::sat::LinearConstraintPropagator< true > operations_research::sat::AllDifferentBoundsPropagator operations_research::sat::AllDifferentConstraint operations_research::sat::BooleanXorPropagator operations_research::sat::CircuitCoveringPropagator operations_research::sat::CircuitPropagator operations_research::sat::CombinedDisjunctive< time_direction > operations_research::sat::CumulativeDualFeasibleEnergyConstraint operations_research::sat::CumulativeEnergyConstraint operations_research::sat::CumulativeIsAfterSubsetConstraint operations_research::sat::DisjunctiveDetectablePrecedences operations_research::sat::DisjunctiveEdgeFinding operations_research::sat::DisjunctiveNotLast operations_research::sat::DisjunctiveOverloadChecker operations_research::sat::DisjunctivePrecedences operations_research::sat::DisjunctiveSimplePrecedences operations_research::sat::DisjunctiveWithTwoItems operations_research::sat::DivisionPropagator operations_research::sat::FixedDivisionPropagator operations_research::sat::FixedModuloPropagator operations_research::sat::GreaterThanAtLeastOneOfPropagator operations_research::sat::GreaterThanMinOfExprsPropagator operations_research::sat::LevelZeroEquality operations_research::sat::LinearConstraintPropagator< use_int128 > operations_research::sat::LinearProgrammingConstraint operations_research::sat::LinearPropagator operations_research::sat::MandatoryOverlapPropagator operations_research::sat::MinPropagator operations_research::sat::NoCyclePropagator operations_research::sat::NoOverlap2DConstraintHelper operations_research::sat::NonOverlappingRectanglesDisjunctivePropagator operations_research::sat::NonOverlappingRectanglesEnergyPropagator operations_research::sat::Precedences2DPropagator operations_research::sat::PrecedencesPropagator operations_research::sat::ProductPropagator operations_research::sat::RectanglePairwisePropagator operations_research::sat::ReservoirTimeTabling operations_research::sat::SchedulingConstraintHelper operations_research::sat::SquarePropagator operations_research::sat::TimeTableEdgeFinding operations_research::sat::TimeTablingPerTask operations_research::sat::TryEdgeRectanglePropagator

Public Member Functions

 PropagatorInterface ()=default
virtual ~PropagatorInterface ()=default
virtual bool Propagate ()=0
virtual bool IncrementalPropagate (const std::vector< int > &)

Constructor & Destructor Documentation

◆ PropagatorInterface()

operations_research::sat::PropagatorInterface::PropagatorInterface ( )
default

◆ ~PropagatorInterface()

virtual operations_research::sat::PropagatorInterface::~PropagatorInterface ( )
virtualdefault

Member Function Documentation

◆ IncrementalPropagate()

virtual bool operations_research::sat::PropagatorInterface::IncrementalPropagate ( const std::vector< int > & )
inlinevirtual

Reimplemented in operations_research::sat::CircuitCoveringPropagator, operations_research::sat::CircuitPropagator, operations_research::sat::LinearProgrammingConstraint, operations_research::sat::NoCyclePropagator, and operations_research::sat::SchedulingConstraintHelper.

Definition at line 1299 of file integer.h.

◆ Propagate()

virtual bool operations_research::sat::PropagatorInterface::Propagate ( )
pure virtual

Implemented in operations_research::sat::AllDifferentBoundsPropagator, operations_research::sat::AllDifferentConstraint, operations_research::sat::BooleanXorPropagator, operations_research::sat::CircuitCoveringPropagator, operations_research::sat::CircuitPropagator, operations_research::sat::CombinedDisjunctive< time_direction >, operations_research::sat::CumulativeDualFeasibleEnergyConstraint, operations_research::sat::CumulativeEnergyConstraint, operations_research::sat::CumulativeIsAfterSubsetConstraint, operations_research::sat::DisjunctiveDetectablePrecedences, operations_research::sat::DisjunctiveEdgeFinding, operations_research::sat::DisjunctiveNotLast, operations_research::sat::DisjunctiveOverloadChecker, operations_research::sat::DisjunctivePrecedences, operations_research::sat::DisjunctiveSimplePrecedences, operations_research::sat::DisjunctiveWithTwoItems, operations_research::sat::DivisionPropagator, operations_research::sat::FixedDivisionPropagator, operations_research::sat::FixedModuloPropagator, operations_research::sat::GreaterThanAtLeastOneOfPropagator, operations_research::sat::GreaterThanMinOfExprsPropagator, operations_research::sat::LevelZeroEquality, operations_research::sat::LinearConstraintPropagator< use_int128 >, operations_research::sat::LinearConstraintPropagator< false >, operations_research::sat::LinearConstraintPropagator< true >, operations_research::sat::LinearProgrammingConstraint, operations_research::sat::LinearPropagator, operations_research::sat::MandatoryOverlapPropagator, operations_research::sat::MinPropagator, operations_research::sat::NoCyclePropagator, operations_research::sat::NonOverlappingRectanglesDisjunctivePropagator, operations_research::sat::NonOverlappingRectanglesEnergyPropagator, operations_research::sat::NoOverlap2DConstraintHelper, operations_research::sat::Precedences2DPropagator, operations_research::sat::PrecedencesPropagator, operations_research::sat::ProductPropagator, operations_research::sat::RectanglePairwisePropagator, operations_research::sat::ReservoirTimeTabling, operations_research::sat::SchedulingConstraintHelper, operations_research::sat::SquarePropagator, operations_research::sat::TimeTableEdgeFinding, operations_research::sat::TimeTablingPerTask, and operations_research::sat::TryEdgeRectanglePropagator.

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