Traits of IntVar for branching. More...
#include <traits.hpp>
Public Types | |
typedef IntBranchFilter | Filter |
Type for the branching filter function. More... | |
typedef IntBranchMerit | Merit |
Type for the branching merit function. More... | |
typedef IntBranchVal | Val |
Type for the branching value function. More... | |
typedef int | ValType |
Return type of the branching value function. More... | |
typedef IntBranchCommit | Commit |
Type for the branching commit function. More... | |
Traits of IntVar for branching.
Definition at line 42 of file traits.hpp.
typedef IntBranchFilter Gecode::BranchTraits< IntVar >::Filter |
Type for the branching filter function.
Definition at line 45 of file traits.hpp.
typedef IntBranchMerit Gecode::BranchTraits< IntVar >::Merit |
Type for the branching merit function.
Definition at line 47 of file traits.hpp.
typedef IntBranchVal Gecode::BranchTraits< IntVar >::Val |
Type for the branching value function.
Definition at line 49 of file traits.hpp.
typedef int Gecode::BranchTraits< IntVar >::ValType |
Return type of the branching value function.
Definition at line 51 of file traits.hpp.
typedef IntBranchCommit Gecode::BranchTraits< IntVar >::Commit |
Type for the branching commit function.
Definition at line 53 of file traits.hpp.