operations_research::LightIntFunctionElementCt< F > Class Template Reference

--— LightIntFunctionElementCt --— More...

#include <constraint_solveri.h>

Inheritance diagram for operations_research::LightIntFunctionElementCt< F >:

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.
Constraint &	operator= (const Constraint &)=delete
	~Constraint () override
void	PostAndPropagate ()
bool	IsCastConstraint () const
	Is the constraint created by a cast from expression to integer variable?
virtual IntVar *	Var ()
Public Member Functions inherited from operations_research::PropagationBaseObject
	PropagationBaseObject (Solver *const s)
	PropagationBaseObject (const PropagationBaseObject &)=delete
	This type is neither copyable nor movable.
PropagationBaseObject &	operator= (const PropagationBaseObject &)=delete
	~PropagationBaseObject () override
std::string	DebugString () const override
Solver *	solver () 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.
BaseObject &	operator= (const BaseObject &)=delete
virtual	~BaseObject ()

Detailed Description

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

--— LightIntFunctionElementCt --—

Definition at line 787 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 789 of file constraint_solveri.h.

~LightIntFunctionElementCt()

template<typename F >

operations_research::LightIntFunctionElementCt< F >::~LightIntFunctionElementCt ( )

inlineoverride

Definition at line 797 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 816 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 811 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 805 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 799 of file constraint_solveri.h.

---

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

• ortools/constraint_solver/constraint_solver.h
• ortools/constraint_solver/constraint_solveri.h