next up previous contents
Next: sym_is_iteration_limit_reached Up: Solver Status Query Functions Previous: sym_is_proven_optimal   Contents

sym_is_proven_primal_infeasible 

int sym_is_proven_primal_infeasible(sym_environment *env)

Description:

This post-solution query routine is used to learn whether the problem was proven to be infeasible.

Arguments:

sym_environment *env IN Pointer to the SYMPHONY environment.

Return values:

TRUE The problem was proven to be infeasible.
FALSE The problem was not proven to be infeasible.