#include <constraint_solver.h>

Inheritance diagram for operations_research::Decision:

Public Member Functions
	Decision ()

	Decision (const Decision &)=delete
	This type is neither copyable nor movable.

Decision &	operator= (const Decision &)=delete

	~Decision () override

virtual void	Apply (Solver *s)=0
	Apply will be called first when the decision is executed.

virtual void	Refute (Solver *s)=0
	Refute will be called after a backtrack.

std::string	DebugString () const override

virtual void	Accept (DecisionVisitor *visitor) const
	Accepts the given visitor.

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

A Decision represents a choice point in the search tree. The two main methods are Apply() to go left, or Refute() to go right.

Definition at line 3451 of file constraint_solver.h.

Constructor & Destructor Documentation

◆ Decision() [1/2]

operations_research::Decision::Decision ( )

inline

Definition at line 3453 of file constraint_solver.h.

◆ Decision() [2/2]

operations_research::Decision::Decision ( const Decision & )

delete

This type is neither copyable nor movable.

◆ ~Decision()

operations_research::Decision::~Decision ( )

inlineoverride

Definition at line 3460 of file constraint_solver.h.

Member Function Documentation

◆ Accept()

void operations_research::Decision::Accept ( DecisionVisitor * visitor ) const

virtual

Accepts the given visitor.

-------— Decision and DecisionVisitor -------—

Definition at line 2530 of file constraint_solver.cc.

◆ Apply()

virtual void operations_research::Decision::Apply ( Solver * s )

pure virtual

Apply will be called first when the decision is executed.

◆ DebugString()

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

inlineoverridevirtual

Reimplemented from operations_research::BaseObject.

Definition at line 3468 of file constraint_solver.h.

◆ operator=()

Decision & operations_research::Decision::operator= ( const Decision & )