Generated on Fri Oct 19 11:25:56 2018 for Gecode by doxygen 1.6.3

Gecode::FlatZinc::IntBoolBrancher< Merit > Class Template Reference

Brancher for integer and Boolean views. More...

#include <branch.hh>

List of all members.

Public Member Functions

virtual const Choicechoice (Space &home)
 Return choice.
virtual Actorcopy (Space &home)
 Perform cloning.
virtual size_t dispose (Space &home)
 Delete brancher and return its size.

Static Public Member Functions

static void post (Home home, ViewArray< Int::IntView > x, ViewArray< Int::BoolView > y, Merit &m, ValSelCommitBase< Int::IntView, int > *xvsc, ValSelCommitBase< Int::BoolView, int > *yvsc)
 Post brancher.

Protected Member Functions

 IntBoolBrancher (Space &home, IntBoolBrancher &b)
 Constructor for cloning b.
 IntBoolBrancher (Home home, ViewArray< Int::IntView > x, ViewArray< Int::BoolView > y, Merit &m, ValSelCommitBase< Int::IntView, int > *xvsc, ValSelCommitBase< Int::BoolView, int > *yvsc)
 Constructor for creation.

Protected Attributes

Merit merit
 Selection by maximal merit.

Detailed Description

template<class Merit>
class Gecode::FlatZinc::IntBoolBrancher< Merit >

Brancher for integer and Boolean views.

Definition at line 303 of file branch.hh.


Constructor & Destructor Documentation

template<class Merit >
Gecode::FlatZinc::IntBoolBrancher< Merit >::IntBoolBrancher ( Space home,
IntBoolBrancher< Merit > &  b 
) [inline, protected]

Constructor for cloning b.

Definition at line 359 of file branch.hpp.

template<class Merit >
Gecode::FlatZinc::IntBoolBrancher< Merit >::IntBoolBrancher ( Home  home,
ViewArray< Int::IntView x,
ViewArray< Int::BoolView y,
Merit &  m,
ValSelCommitBase< Int::IntView, int > *  xvsc,
ValSelCommitBase< Int::BoolView, int > *  yvsc 
) [inline, protected]

Constructor for creation.

Definition at line 336 of file branch.hpp.


Member Function Documentation

template<class Merit >
const Choice * Gecode::FlatZinc::IntBoolBrancher< Merit >::choice ( Space home  )  [inline, virtual]

Return choice.

Implements Gecode::FlatZinc::IntBoolBrancherBase.

Definition at line 371 of file branch.hpp.

template<class Merit >
Actor * Gecode::FlatZinc::IntBoolBrancher< Merit >::copy ( Space home  )  [inline, virtual]

Perform cloning.

Implements Gecode::Actor.

Definition at line 365 of file branch.hpp.

template<class Merit >
void Gecode::FlatZinc::IntBoolBrancher< Merit >::post ( Home  home,
ViewArray< Int::IntView x,
ViewArray< Int::BoolView y,
Merit &  m,
ValSelCommitBase< Int::IntView, int > *  xvsc,
ValSelCommitBase< Int::BoolView, int > *  yvsc 
) [inline, static]

Post brancher.

Definition at line 347 of file branch.hpp.

template<class Merit >
size_t Gecode::FlatZinc::IntBoolBrancher< Merit >::dispose ( Space home  )  [inline, virtual]

Delete brancher and return its size.

Reimplemented from Gecode::FlatZinc::IntBoolBrancherBase.

Definition at line 413 of file branch.hpp.


Member Data Documentation

template<class Merit>
Merit Gecode::FlatZinc::IntBoolBrancher< Merit >::merit [protected]

Selection by maximal merit.

Definition at line 306 of file branch.hh.


The documentation for this class was generated from the following files: