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