Generated on: Thu Mar 29 07:46:58 PDT 2012 for custom file set
// doxy/ or-tools/ src/ constraint_solver/

operations_research::Search Class Reference

Search class. More...

List of all members.

Public Member Functions

 Search (Solver *const s)
 Search (Solver *const s, int)
 Constructor for a dummy search.
 ~Search ()
void EnterSearch ()
void RestartSearch ()
void ExitSearch ()
void BeginNextDecision (DecisionBuilder *const b)
void EndNextDecision (DecisionBuilder *const b, Decision *const d)
void ApplyDecision (Decision *const d)
void AfterDecision (Decision *const d, bool apply)
void RefuteDecision (Decision *const d)
void BeginFail ()
void EndFail ()
void BeginInitialPropagation ()
void EndInitialPropagation ()
bool AtSolution ()
bool AcceptSolution ()
void NoMoreSolutions ()
bool LocalOptimum ()
bool AcceptDelta (Assignment *delta, Assignment *deltadelta)
void AcceptNeighbor ()
void PeriodicCheck ()
int ProgressPercent ()
void Accept (ModelVisitor *const visitor) const
void push_monitor (SearchMonitor *const m)
void Clear ()
void IncrementSolutionCounter ()
int64 solution_counter () const
void set_decision_builder (DecisionBuilder *const db)
DecisionBuilderdecision_builder () const
void set_created_by_solve (bool c)
bool created_by_solve () const
Solver::DecisionModification ModifyDecision ()
void SetBranchSelector (ResultCallback1< Solver::DecisionModification, Solver * > *const s)
 namespace
void LeftMove ()
void RightMove ()
int search_depth () const
void set_search_depth (int d)
int left_search_depth () const
void set_search_left_depth (int d)
void set_should_restart (bool s)
bool should_restart () const
void set_should_finish (bool s)
bool should_finish () const
void CheckFail ()

Friends

class Solver


Detailed Description

Search class.

Definition at line 857 of file constraint_solver.cc.


Constructor & Destructor Documentation

operations_research::Search::Search ( Solver *const   s  )  [inline, explicit]

Definition at line 859 of file constraint_solver.cc.

operations_research::Search::Search ( Solver *const   s,
int   
) [inline]

Constructor for a dummy search.

The only difference between a dummy search and a regular one is that the search depth and left search depth is initialized to -1 instead of zero.

Definition at line 869 of file constraint_solver.cc.

operations_research::Search::~Search (  )  [inline]

Definition at line 876 of file constraint_solver.cc.


Member Function Documentation

void operations_research::Search::EnterSearch (  ) 

Definition at line 1104 of file constraint_solver.cc.

void operations_research::Search::RestartSearch (  ) 

Definition at line 1125 of file constraint_solver.cc.

void operations_research::Search::ExitSearch (  ) 

Definition at line 1117 of file constraint_solver.cc.

void operations_research::Search::BeginNextDecision ( DecisionBuilder *const   b  ) 

Definition at line 1133 of file constraint_solver.cc.

void operations_research::Search::EndNextDecision ( DecisionBuilder *const   b,
Decision *const   d 
)

Definition at line 1142 of file constraint_solver.cc.

void operations_research::Search::ApplyDecision ( Decision *const   d  ) 

Definition at line 1151 of file constraint_solver.cc.

void operations_research::Search::AfterDecision ( Decision *const   d,
bool  apply 
)

Definition at line 1160 of file constraint_solver.cc.

void operations_research::Search::RefuteDecision ( Decision *const   d  ) 

Definition at line 1169 of file constraint_solver.cc.

void operations_research::Search::BeginFail (  ) 

Definition at line 1178 of file constraint_solver.cc.

void operations_research::Search::EndFail (  ) 

Definition at line 1186 of file constraint_solver.cc.

void operations_research::Search::BeginInitialPropagation (  ) 

Definition at line 1194 of file constraint_solver.cc.

void operations_research::Search::EndInitialPropagation (  ) 

Definition at line 1202 of file constraint_solver.cc.

bool operations_research::Search::AtSolution (  ) 

Definition at line 1225 of file constraint_solver.cc.

bool operations_research::Search::AcceptSolution (  ) 

Definition at line 1210 of file constraint_solver.cc.

void operations_research::Search::NoMoreSolutions (  ) 

Definition at line 1240 of file constraint_solver.cc.

bool operations_research::Search::LocalOptimum (  ) 

Definition at line 1248 of file constraint_solver.cc.

bool operations_research::Search::AcceptDelta ( Assignment delta,
Assignment deltadelta 
)

Definition at line 1260 of file constraint_solver.cc.

void operations_research::Search::AcceptNeighbor (  ) 

Definition at line 1272 of file constraint_solver.cc.

void operations_research::Search::PeriodicCheck (  ) 

Definition at line 1280 of file constraint_solver.cc.

int operations_research::Search::ProgressPercent (  ) 

Definition at line 1288 of file constraint_solver.cc.

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

Definition at line 1298 of file constraint_solver.cc.

void operations_research::Search::push_monitor ( SearchMonitor *const   m  ) 

Definition at line 1091 of file constraint_solver.cc.

void operations_research::Search::Clear (  ) 

Definition at line 1097 of file constraint_solver.cc.

void operations_research::Search::IncrementSolutionCounter (  )  [inline]

Definition at line 903 of file constraint_solver.cc.

int64 operations_research::Search::solution_counter (  )  const [inline]

Definition at line 904 of file constraint_solver.cc.

void operations_research::Search::set_decision_builder ( DecisionBuilder *const   db  )  [inline]

Definition at line 905 of file constraint_solver.cc.

DecisionBuilder* operations_research::Search::decision_builder (  )  const [inline]

Definition at line 908 of file constraint_solver.cc.

void operations_research::Search::set_created_by_solve ( bool  c  )  [inline]

Definition at line 909 of file constraint_solver.cc.

bool operations_research::Search::created_by_solve (  )  const [inline]

Definition at line 910 of file constraint_solver.cc.

Solver::DecisionModification operations_research::Search::ModifyDecision (  ) 

Definition at line 1084 of file constraint_solver.cc.

void operations_research::Search::SetBranchSelector ( ResultCallback1< Solver::DecisionModification, Solver * > *const   s  ) 

namespace

Definition at line 1048 of file constraint_solver.cc.

void operations_research::Search::LeftMove (  )  [inline]

Definition at line 914 of file constraint_solver.cc.

void operations_research::Search::RightMove (  )  [inline]

Definition at line 918 of file constraint_solver.cc.

int operations_research::Search::search_depth (  )  const [inline]

Definition at line 921 of file constraint_solver.cc.

void operations_research::Search::set_search_depth ( int  d  )  [inline]

Definition at line 922 of file constraint_solver.cc.

int operations_research::Search::left_search_depth (  )  const [inline]

Definition at line 923 of file constraint_solver.cc.

void operations_research::Search::set_search_left_depth ( int  d  )  [inline]

Definition at line 924 of file constraint_solver.cc.

void operations_research::Search::set_should_restart ( bool  s  )  [inline]

Definition at line 925 of file constraint_solver.cc.

bool operations_research::Search::should_restart (  )  const [inline]

Definition at line 926 of file constraint_solver.cc.

void operations_research::Search::set_should_finish ( bool  s  )  [inline]

Definition at line 927 of file constraint_solver.cc.

bool operations_research::Search::should_finish (  )  const [inline]

Definition at line 928 of file constraint_solver.cc.

void operations_research::Search::CheckFail (  )  [inline]

Definition at line 929 of file constraint_solver.cc.


Friends And Related Function Documentation

friend class Solver [friend]

Definition at line 934 of file constraint_solver.cc.


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