Task traits for optional flexible tasks. More...
#include <unary.hh>
Public Types | |
typedef Unary::OptFlexTaskFwd | TaskViewFwd |
The forward task view type. | |
typedef Unary::OptFlexTaskBwd | TaskViewBwd |
The backward task view type. | |
typedef Unary::ManFlexTask | ManTask |
The corresponding mandatory task. |
typedef Unary::OptFlexTaskFwd Gecode::Int::TaskTraits< Unary::OptFlexTask >::TaskViewFwd |
typedef Unary::OptFlexTaskBwd Gecode::Int::TaskTraits< Unary::OptFlexTask >::TaskViewBwd |
typedef Unary::ManFlexTask Gecode::Int::TaskTraits< Unary::OptFlexTask >::ManTask |