Gecode::Int::Branch Namespace Reference
Detailed Description
Integer branchings.
Classes | |
class | Creator |
Register reflection for branchings. More... | |
class | ValMin |
Class for selecting minimum value. More... | |
class | ValMed |
Class for selecting maximum value. More... | |
class | ValMax |
Class for selecting median value. More... | |
class | ValSplitMin |
Class for splitting domain (lower half first). More... | |
class | ValSplitMax |
Class for splitting domain (upper half first). More... | |
class | NoValue |
For Boolean branchings not needing a value. More... | |
class | ValZeroOne |
Class for trying zero and then one. More... | |
class | ValOneZero |
Class for trying one and then zero. More... | |
class | ByNone |
View selection class for first variable. More... | |
class | ByMinMin |
View selection class for view with smallest min. More... | |
class | ByMinMax |
View selection class for view with largest min. More... | |
class | ByMaxMin |
View selection class for view with smallest max. More... | |
class | ByMaxMax |
View selection class for view with largest max. More... | |
class | BySizeMin |
View selection class for view with smallest size. More... | |
class | BySizeMax |
View selection class for view with largest size. More... | |
class | ByDegreeMin |
View selection class for view with smallest degree (and smallest size in case of ties). More... | |
class | ByDegreeMax |
View selection class for view with largest degree (and smallest size in case of ties). More... | |
class | ByDegreeMinNoTies |
View selection class for view with smallest degree. More... | |
class | ByDegreeMaxNoTies |
View selection class for view with largest degree. More... | |
class | BySizeDegreeMin |
View selection class for view with smallest size divided by degree. More... | |
class | BySizeDegreeMax |
View selection class for view with largest size divided by degree. More... | |
class | ByRegretMinMin |
View selection class for view with smallest min-regret. More... | |
class | ByRegretMinMax |
View selection class for view with largest min-regret. More... | |
class | ByRegretMaxMin |
View selection class for view with smallest max-regret. More... | |
class | ByRegretMaxMax |
View selection class for view with largest max-regret. More... | |
Functions | |
template<template< class, class, class, class > class B> | |
void | createBranch (Space *home, const IntVarArgs &x, IntVarBranch vars, IntValBranch vals) |
template<template< class, class, class, class > class B, class View, template< class > class SelView> | |
void | create (Space *home, ViewArray< View > &, IntValBranch) |
Create branchings for a given view selection strategy SelView. | |
Variables | |
Creator< IntView, int, BySizeMin > | c1 |
Creator< IntView, int, BySizeMax > | c2 |
Creator< IntView, int, ByMinMin > | c3 |
Creator< IntView, int, ByMinMax > | c4 |
Creator< IntView, int, ByMaxMin > | c5 |
Creator< IntView, int, ByMaxMax > | c6 |
Creator< IntView, int, ByNone > | c7 |
Creator< IntView, int, ByRegretMinMin > | c8 |
Creator< IntView, int, ByRegretMinMax > | c9 |
Creator< IntView, int, ByRegretMaxMin > | c10 |
Creator< IntView, int, ByRegretMaxMax > | c11 |
Creator< IntView, int, ByDegreeMin > | c12 |
Creator< IntView, int, ByDegreeMax > | c13 |
Reflection::ActorRegistrar < ViewValBranching< BoolView, NoValue, ByDegreeMaxNoTies < BoolView >, ValOneZero < BoolView > > > | r1 |
Reflection::ActorRegistrar < ViewValBranching< BoolView, NoValue, ByDegreeMaxNoTies < BoolView >, ValZeroOne < BoolView > > > | r2 |
Reflection::ActorRegistrar < ViewValBranching< BoolView, NoValue, ByDegreeMinNoTies < BoolView >, ValOneZero < BoolView > > > | r3 |
Reflection::ActorRegistrar < ViewValBranching< BoolView, NoValue, ByDegreeMinNoTies < BoolView >, ValZeroOne < BoolView > > > | r4 |
Reflection::ActorRegistrar < ViewValBranching< BoolView, NoValue, ByNone< BoolView > , ValOneZero< BoolView > > > | r5 |
Reflection::ActorRegistrar < ViewValBranching< BoolView, NoValue, ByNone< BoolView > , ValZeroOne< BoolView > > > | r6 |
Reflection::ActorRegistrar < ViewValAssignment< IntView, int, ValMax< IntView > > > | r7 |
Reflection::ActorRegistrar < ViewValAssignment< IntView, int, ValMed< IntView > > > | r8 |
Reflection::ActorRegistrar < ViewValAssignment< IntView, int, ValMin< IntView > > > | r9 |
Reflection::ActorRegistrar < ViewValAssignment< BoolView, NoValue, ValOneZero< BoolView > > > | r10 |
Reflection::ActorRegistrar < ViewValAssignment< BoolView, NoValue, ValZeroOne< BoolView > > > | r11 |
Function Documentation
template<template< class, class, class, class > class B>
void Gecode::Int::Branch::createBranch | ( | Space * | home, | |
const IntVarArgs & | x, | |||
IntVarBranch | vars, | |||
IntValBranch | vals | |||
) | [inline] |
Definition at line 42 of file create-branch.icc.
template<template< class, class, class, class > class B, class View, template< class > class SelView>
static void Gecode::Int::Branch::create | ( | Space * | home, | |
ViewArray< View > & | x, | |||
IntValBranch | vals | |||
) | [inline] |
Create branchings for a given view selection strategy SelView.
Definition at line 233 of file select-val.icc.
Variable Documentation