A helper class to temporarily relax a MIP problem using RAII. More...

Public Member Functions | |
| RAII_Temporary_Real_Relaxation (MIP_Problem &mip) | |
| ~RAII_Temporary_Real_Relaxation () | |
Public Attributes | |
| MIP_Problem & | lp |
| Variables_Set | i_vars |
A helper class to temporarily relax a MIP problem using RAII.
Definition at line 510 of file MIP_Problem.defs.hh.
| Parma_Polyhedra_Library::MIP_Problem::RAII_Temporary_Real_Relaxation::RAII_Temporary_Real_Relaxation | ( | MIP_Problem & | mip | ) | [inline] |
Definition at line 514 of file MIP_Problem.defs.hh.
References Parma_Polyhedra_Library::MIP_Problem::i_variables, i_vars, lp, and Parma_Polyhedra_Library::MIP_Problem::swap().
| Parma_Polyhedra_Library::MIP_Problem::RAII_Temporary_Real_Relaxation::~RAII_Temporary_Real_Relaxation | ( | ) | [inline] |
Definition at line 520 of file MIP_Problem.defs.hh.
References Parma_Polyhedra_Library::MIP_Problem::i_variables, i_vars, lp, and Parma_Polyhedra_Library::MIP_Problem::swap().
Definition at line 512 of file MIP_Problem.defs.hh.
Referenced by Parma_Polyhedra_Library::MIP_Problem::is_satisfiable(), RAII_Temporary_Real_Relaxation(), Parma_Polyhedra_Library::MIP_Problem::solve(), and ~RAII_Temporary_Real_Relaxation().
Definition at line 511 of file MIP_Problem.defs.hh.
Referenced by Parma_Polyhedra_Library::MIP_Problem::is_satisfiable(), RAII_Temporary_Real_Relaxation(), Parma_Polyhedra_Library::MIP_Problem::solve(), and ~RAII_Temporary_Real_Relaxation().
1.6.3