SCIL::bool_inst Class Reference
Inheritance diagram for SCIL::bool_inst:
Collaboration diagram for SCIL::bool_inst:
Public Member Functions | |
| bool_inst (std::list< boolfunction * > &bfList, ILP_Problem &IP, bool_split_strategy *spst) | |
| virtual status | feasible (solution &S) |
Detailed Description
Definition at line 33 of file bool_inst.h.
Member Function Documentation
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.
Reimplemented from SCIL::nonlinear_inst.
The documentation for this class was generated from the following file:
