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