Google OR-Tools v9.14
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::LightIntFunctionElementCt< F > Class Template Reference

--— LightIntFunctionElementCt --— More...

#include <constraint_solveri.h>

Inheritance diagram for operations_research::LightIntFunctionElementCt< F >:
operations_research::Constraint operations_research::PropagationBaseObject operations_research::BaseObject

Public Member Functions

 LightIntFunctionElementCt (Solver *const solver, IntVar *const var, IntVar *const index, F values, std::function< bool()> deep_serialize)
 ~LightIntFunctionElementCt () override
void Post () override
void InitialPropagate () override
std::string DebugString () const override
 --------------— Constraint class ----------------—
void Accept (ModelVisitor *const visitor) const override
 Accepts the given visitor.
Public Member Functions inherited from operations_research::Constraint
 Constraint (Solver *const solver)
 Constraint (const Constraint &)=delete
 This type is neither copyable nor movable.
Constraintoperator= (const Constraint &)=delete
 ~Constraint () override
void PostAndPropagate ()
bool IsCastConstraint () const
 Is the constraint created by a cast from expression to integer variable?
virtual IntVarVar ()
Public Member Functions inherited from operations_research::PropagationBaseObject
 PropagationBaseObject (Solver *const s)
 PropagationBaseObject (const PropagationBaseObject &)=delete
 This type is neither copyable nor movable.
PropagationBaseObjectoperator= (const PropagationBaseObject &)=delete
 ~PropagationBaseObject () override
std::string DebugString () const override
Solversolver () const
void FreezeQueue ()
void UnfreezeQueue ()
void EnqueueDelayedDemon (Demon *const d)
void EnqueueVar (Demon *const d)
void ExecuteAll (const SimpleRevFIFO< Demon * > &demons)
void EnqueueAll (const SimpleRevFIFO< Demon * > &demons)
void set_action_on_fail (Solver::Action a)
void reset_action_on_fail ()
 This method clears the failure callback.
void set_variable_to_clean_on_fail (IntVar *v)
 Shortcut for variable cleaner.
virtual std::string name () const
 Object naming.
void set_name (absl::string_view name)
bool HasName () const
 Returns whether the object has been named or not.
virtual std::string BaseName () const
 Returns a base name for automatic naming.
Public Member Functions inherited from operations_research::BaseObject
 BaseObject ()
 BaseObject (const BaseObject &)=delete
 This type is neither copyable nor movable.
BaseObjectoperator= (const BaseObject &)=delete
virtual ~BaseObject ()=default

Detailed Description

template<typename F>
class operations_research::LightIntFunctionElementCt< F >

--— LightIntFunctionElementCt --—

Definition at line 791 of file constraint_solveri.h.

Constructor & Destructor Documentation

◆ LightIntFunctionElementCt()

template<typename F>
operations_research::LightIntFunctionElementCt< F >::LightIntFunctionElementCt ( Solver *const solver,
IntVar *const var,
IntVar *const index,
F values,
std::function< bool()> deep_serialize )
inline

Definition at line 793 of file constraint_solveri.h.

◆ ~LightIntFunctionElementCt()

template<typename F>
operations_research::LightIntFunctionElementCt< F >::~LightIntFunctionElementCt ( )
inlineoverride

Definition at line 801 of file constraint_solveri.h.

Member Function Documentation

◆ Accept()

template<typename F>
void operations_research::LightIntFunctionElementCt< F >::Accept ( ModelVisitor *const visitor) const
inlineoverridevirtual

Accepts the given visitor.

Warning
This will expand all values into a vector.

Reimplemented from operations_research::Constraint.

Definition at line 820 of file constraint_solveri.h.

◆ DebugString()

template<typename F>
std::string operations_research::LightIntFunctionElementCt< F >::DebugString ( ) const
inlineoverridevirtual

--------------— Constraint class ----------------—

Reimplemented from operations_research::Constraint.

Definition at line 815 of file constraint_solveri.h.

◆ InitialPropagate()

template<typename F>
void operations_research::LightIntFunctionElementCt< F >::InitialPropagate ( )
inlineoverridevirtual

This method performs the initial propagation of the constraint. It is called just after the post.

Implements operations_research::Constraint.

Definition at line 809 of file constraint_solveri.h.

◆ Post()

template<typename F>
void operations_research::LightIntFunctionElementCt< F >::Post ( )
inlineoverridevirtual

This method is called when the constraint is processed by the solver. Its main usage is to attach demons to variables.

Implements operations_research::Constraint.

Definition at line 803 of file constraint_solveri.h.


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