Public Member Functions
|bool_inst (std::list< boolfunction * > &bfList, ILP_Problem &IP, bool_split_strategy *spst)|
|virtual status||feasible (solution &S)|
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
infeasible. It could also return
Reimplemented from SCIL::nonlinear_inst.