SCIL::sym_constraint Class Reference

Symbolic Constraints.

#include <sym_constraint.h>

List of all members.

Public Types
enum	status
Public Methods
virtual status	separate (subproblem &)
virtual void	init (subproblem &)
virtual status	feasible (solution &)
*virtual status	LP_pricing (subproblem &)
virtual status	mf_pricing (subproblem &)
*virtual status	close_subproblem (subproblem &)
*virtual status	open_subproblem (subproblem &)
virtual void	info ()

---

Member Enumeration Documentation

enum SCIL::sym_constraint::status

the possible return values of all functions that are allowed to modify the current LP. Definition at line 19 of file sym_constraint.h. Referenced by close_subproblem(), feasible(), LP_pricing(), mf_pricing(), open_subproblem(), and separate().

---

Member Function Documentation

* virtual status SCIL::sym_constraint::close_subproblem (  subproblem &    )  [inline, virtual]

This function is called if the BCP-system wants to close the subproblem (either fathom, preemtion, or branch). If shoud return continue. It can also return fathom, preemtion, exception_branch or resolve. } Definition at line 72 of file sym_constraint.h. References status.

virtual status SCIL::sym_constraint::feasible (  solution &    )  [inline, virtual]

This function is called, if the BCP-System wants to save the solution of the LP-solver as primal solution. If this function if called, it is guaranteed that all interal variabes have integral values in the LP-solution. The function should return either feasible or infeasible. It could also return fathom, preemtion, exception_branch or resolve_immedialtely. Definition at line 46 of file sym_constraint.h. References status.

virtual void SCIL::sym_constraint::info (    )  [inline, virtual]

This function should output information on the symbolic constraint (the method used, the possible configurations). Definition at line 86 of file sym_constraint.h.

virtual void SCIL::sym_constraint::init (  subproblem &    )  [inline, virtual]

This function is called before the first LP at the root of the BCP-tree is solved. Definition at line 37 of file sym_constraint.h.

* virtual status SCIL::sym_constraint::LP_pricing (  subproblem &    )  [inline, virtual]

This function is called, if the BCP-system wants to etablish the solution of the current LP as new lower bound. It shoud return either variable_found or no_variable_found. It could also return fathom, preemtion, exception_branch or resolve_immedialtely. } Definition at line 55 of file sym_constraint.h. References status.

virtual status SCIL::sym_constraint::mf_pricing (  subproblem &    )  [inline, virtual]

This function is called, if the BCP-system has to deal with an infeasible LP. It shoud return either variable_found or no_variable_found. It could also return fathom, preemtion, exception_branch or resolve_immedialtely. Definition at line 64 of file sym_constraint.h. References status.

* virtual status SCIL::sym_constraint::open_subproblem (  subproblem &    )  [inline, virtual]

This function is called if the BCP-system wants to start working at another subproblem. If shoud return continue. It can also return fathom, preemtion, exception_branch or resolve. } Definition at line 80 of file sym_constraint.h. References status.

virtual status SCIL::sym_constraint::separate (  subproblem &    )  [inline, virtual]

This function is called if the BCP-System wants to cut of the solution that was found by the LP-solver. It should return either no_cons_found or cons_found. But it is also possible that it returns fathom, preemption, exception_branch, or resolve_immediately. Definition at line 31 of file sym_constraint.h. References status.

---

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

• sym_constraint.h

---