Traits of BoolVar for branching. More...
#include <traits.hpp>
Public Types | |
typedef BoolBranchFilter | Filter |
Type for the branching filter function. More... | |
typedef BoolBranchMerit | Merit |
Type for the branching merit function. More... | |
typedef BoolBranchVal | Val |
Type for the branching value function. More... | |
typedef int | ValType |
Return type of the branching value function. More... | |
typedef BoolBranchCommit | Commit |
Type for the branching commit function. More... | |
Traits of BoolVar for branching.
Definition at line 58 of file traits.hpp.
typedef BoolBranchFilter Gecode::BranchTraits< BoolVar >::Filter |
Type for the branching filter function.
Definition at line 61 of file traits.hpp.
typedef BoolBranchMerit Gecode::BranchTraits< BoolVar >::Merit |
Type for the branching merit function.
Definition at line 63 of file traits.hpp.
typedef BoolBranchVal Gecode::BranchTraits< BoolVar >::Val |
Type for the branching value function.
Definition at line 65 of file traits.hpp.
typedef int Gecode::BranchTraits< BoolVar >::ValType |
Return type of the branching value function.
Definition at line 67 of file traits.hpp.
typedef BoolBranchCommit Gecode::BranchTraits< BoolVar >::Commit |
Type for the branching commit function.
Definition at line 69 of file traits.hpp.