Generated on Thu Apr 11 14:00:10 2019 for Gecode by doxygen 1.6.3

Gecode::Set::Branch::MeritAFCSize Class Reference
[Merit-based set view selection for branchers]

Merit class for AFC over size. More...

#include <branch.hh>

List of all members.

Public Member Functions

 MeritAFCSize (Space &home, const VarBranch< Var > &vb)
 Constructor for initialization.
 MeritAFCSize (Space &home, MeritAFCSize &m)
 Constructor for cloning.
double operator() (const Space &home, SetView x, int i)
 Return AFC over size as merit for view x at position i.
bool notice (void) const
 Whether dispose must always be called (that is, notice is needed).
void dispose (Space &home)
 Dispose view selection.

Protected Attributes

AFC afc
 AFC information.

Detailed Description

Merit class for AFC over size.

Requires

Definition at line 134 of file branch.hh.


Constructor & Destructor Documentation

Gecode::Set::Branch::MeritAFCSize::MeritAFCSize ( Space home,
const VarBranch< Var > &  vb 
) [inline]

Constructor for initialization.

Definition at line 97 of file merit.hpp.

Gecode::Set::Branch::MeritAFCSize::MeritAFCSize ( Space home,
MeritAFCSize m 
) [inline]

Constructor for cloning.

Definition at line 100 of file merit.hpp.


Member Function Documentation

double Gecode::Set::Branch::MeritAFCSize::operator() ( const Space home,
SetView  x,
int  i 
) [inline]

Return AFC over size as merit for view x at position i.

Definition at line 103 of file merit.hpp.

bool Gecode::Set::Branch::MeritAFCSize::notice ( void   )  const [inline]

Whether dispose must always be called (that is, notice is needed).

Reimplemented from Gecode::MeritBase< SetView, double >.

Definition at line 107 of file merit.hpp.

void Gecode::Set::Branch::MeritAFCSize::dispose ( Space home  )  [inline]

Dispose view selection.

Reimplemented from Gecode::MeritBase< SetView, double >.

Definition at line 111 of file merit.hpp.


Member Data Documentation

AFC information.

Definition at line 137 of file branch.hh.


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