Gecode::IntActivity Class Reference
[Branching]

Recording activities for integer and Boolean variables. More...

#include <int.hh>

Public Member Functions
	IntActivity (void)
	Construct as not yet initialized.
	IntActivity (const IntActivity &a)
	Copy constructor.
IntActivity &	operator= (const IntActivity &a)
	Assignment operator.
	IntActivity (Home home, const IntVarArgs &x, double d=1.0, IntBranchMerit bm=NULL)
	Initialize for integer variables x with decay factor d.
	IntActivity (Home home, const BoolVarArgs &x, double d=1.0, BoolBranchMerit bm=NULL)
	Initialize for Boolean variables x with decay factor d.
void	init (Home home, const IntVarArgs &x, double d=1.0, IntBranchMerit bm=NULL)
	Initialize for integer variables x with decay factor d.
void	init (Home home, const BoolVarArgs &x, double d=1.0, BoolBranchMerit bm=NULL)
	Initialize for Boolean variables x with decay factor d.

Detailed Description

Recording activities for integer and Boolean variables.

Definition at line 3707 of file int.hh.

Gecode::IntActivity::IntActivity ( void ) [inline]

Construct as not yet initialized.

The only member functions that can be used on a constructed but not yet initialized activity storage is init or the assignment operator.

Definition at line 41 of file activity.hpp.

Gecode::IntActivity::IntActivity ( const IntActivity & a ) [inline]

Copy constructor.

Definition at line 44 of file activity.hpp.

Gecode::IntActivity::IntActivity	(	Home	home,
		const IntVarArgs &	x,
		double	d = `1.0`,
		IntBranchMerit	bm = `NULL`
	)

Initialize for integer variables x with decay factor d.

If the branch merit function bm is different from NULL, the activity for each variable is initialized with the merit returned by bm.

Definition at line 42 of file activity.cpp.

Gecode::IntActivity::IntActivity	(	Home	home,
		const BoolVarArgs &	x,
		double	d = `1.0`,
		BoolBranchMerit	bm = `NULL`
	)

Initialize for Boolean variables x with decay factor d.

If the branch merit function bm is different from NULL, the activity for each variable is initialized with the merit returned by bm.

Definition at line 48 of file activity.cpp.

IntActivity & Gecode::IntActivity::operator= ( const IntActivity & a ) [inline]

Assignment operator.

Definition at line 48 of file activity.hpp.

void Gecode::IntActivity::init	(	Home	home,
		const IntVarArgs &	x,
		double	d = `1.0`,
		IntBranchMerit	bm = `NULL`
	)

Initialize for integer variables x with decay factor d.

If the branch merit function bm is different from NULL, the activity for each variable is initialized with the merit returned by bm.

This member function can only be used once and only if the activity storage has been constructed with the default constructor.

Definition at line 55 of file activity.cpp.

void Gecode::IntActivity::init	(	Home	home,
		const BoolVarArgs &	x,
		double	d = `1.0`,
		BoolBranchMerit	bm = `NULL`
	)

Initialize for Boolean variables x with decay factor d.

If the branch merit function bm is different from NULL, the activity for each variable is initialized with the merit returned by bm.

This member function can only be used once and only if the activity storage has been constructed with the default constructor.

Definition at line 62 of file activity.cpp.

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