62
62
BOOST_PARAMETER_NAME( (time_limit, tag) time_limit_ )
63
63
BOOST_PARAMETER_NAME( (sliver_bound, tag) sliver_bound_)
64
66
BOOST_PARAMETER_NAME( (freeze_bound, tag) freeze_bound_)
65
67
BOOST_PARAMETER_NAME( (do_freeze, tag) do_freeze_)
66
68
BOOST_PARAMETER_NAME( (max_iteration_number, tag) max_iteration_number_ )