operations_research::IfThenElseCt Class Reference

-------— Generalized element -------— More...

Detailed Description

-------— Generalized element -------—

--— IfThenElseCt --—

Definition at line 1124 of file element.cc.

Inheritance diagram for operations_research::IfThenElseCt:

Public Member Functions
	IfThenElseCt (Solver *const solver, IntVar *const condition, IntExpr *const one, IntExpr *const zero, IntVar *const target)
	~IfThenElseCt () 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::CastConstraint
	CastConstraint (Solver *const solver, IntVar *const target_var)
	~CastConstraint () override
IntVar *	target_var () const
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 ()=default

Additional Inherited Members
Protected Attributes inherited from operations_research::CastConstraint
IntVar *const	target_var_

Constructor & Destructor Documentation

IfThenElseCt()

operations_research::IfThenElseCt::IfThenElseCt ( Solver *const solver, IntVar *const condition, IntExpr *const one, IntExpr *const zero, IntVar *const target )

inline

Definition at line 1126 of file element.cc.

~IfThenElseCt()

operations_research::IfThenElseCt::~IfThenElseCt ( )

inlineoverride

Definition at line 1133 of file element.cc.

Member Function Documentation

Accept()

void operations_research::IfThenElseCt::Accept ( ModelVisitor *const visitor ) const

inlineoverridevirtual

Accepts the given visitor.

Reimplemented from operations_research::Constraint.

Definition at line 1184 of file element.cc.

DebugString()

std::string operations_research::IfThenElseCt::DebugString ( ) const

inlineoverridevirtual

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

Reimplemented from operations_research::Constraint.

Definition at line 1178 of file element.cc.

InitialPropagate()

void operations_research::IfThenElseCt::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 1143 of file element.cc.

Post()

void operations_research::IfThenElseCt::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 1135 of file element.cc.

---

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

• ortools/constraint_solver/element.cc