Searched refs:RAII_Temporary_Real_Relaxation (Results 1 – 4 of 4) sorted by relevance
603 struct RAII_Temporary_Real_Relaxation { struct in Parma_Polyhedra_Library::MIP_Problem607 RAII_Temporary_Real_Relaxation(MIP_Problem& mip) in RAII_Temporary_Real_Relaxation() function614 ~RAII_Temporary_Real_Relaxation() { in ~RAII_Temporary_Real_Relaxation() argument620 friend struct RAII_Temporary_Real_Relaxation;
270 RAII_Temporary_Real_Relaxation relaxed(x); in is_satisfiable()329 RAII_Temporary_Real_Relaxation relaxed(x); in solve()
52263 struct RAII_Temporary_Real_Relaxation {52267 RAII_Temporary_Real_Relaxation(MIP_Problem& mip)52274 ~RAII_Temporary_Real_Relaxation() {52280 friend struct RAII_Temporary_Real_Relaxation;
12821 * src/MIP_Problem.defs.hh: RAII_Temporary_Real_Relaxation is a