Generated on Thu Jul 6 07:07:01 2006 for Gecode by doxygen 1.4.7
Gecode::Int::Branch::AssignMin

Gecode::Int::Branch::AssignMin Class Reference

#include <branch.hh>

Inherits Gecode::Int::Branch::Assign.

List of all members.

Detailed Description

Minimum assignment (single-alternative branching).

Definition at line 370 of file branch.hh.

Public Member Functions

 AssignMin (Space *home, ViewArray< IntView > &x)
 Constructor for creation.
virtual Actor * copy (Space *home, bool share)
 Perform cloning.
virtual BranchingDesc * description (void)
 Return branching description (of type Gecode::PosValDesc).
virtual ExecStatus commit (Space *home, unsigned int a, BranchingDesc *d)
 Perform commit for alternative a and branching description d.

Protected Member Functions

 AssignMin (Space *home, bool share, AssignMin &b)
 Constructor for cloning b.

Constructor & Destructor Documentation

Gecode::Int::Branch::AssignMin::AssignMin ( Space *  home,
bool  share,
AssignMin &  b 
) [inline, protected]

Constructor for cloning b.

Definition at line 35 of file assign.icc.

Gecode::Int::Branch::AssignMin::AssignMin ( Space *  home,
ViewArray< IntView > &  x 
) [inline]

Constructor for creation.

Definition at line 38 of file assign.icc.

Member Function Documentation

Actor * Gecode::Int::Branch::AssignMin::copy ( Space *  home,
bool  share 
) [virtual]

Perform cloning.

Implements Gecode::Actor.

Definition at line 38 of file assign.cc.

BranchingDesc * Gecode::Int::Branch::AssignMin::description ( void   )  [virtual]

Return branching description (of type Gecode::PosValDesc).

Implements Gecode::Branching.

Definition at line 42 of file assign.cc.

ExecStatus Gecode::Int::Branch::AssignMin::commit ( Space *  home,
unsigned int  a,
BranchingDesc *  d 
) [virtual]

Perform commit for alternative a and branching description d.

Implements Gecode::Branching.

Definition at line 46 of file assign.cc.

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