Gecode::Int::Branch::AssignMax Class Reference
#include <branch.hh>
Inherits Gecode::Int::Branch::Assign.
Detailed Description
Maximum assignment (single-alternative branching).
Definition at line 402 of file branch.hh.
Public Member Functions | |
AssignMax (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 | |
AssignMax (Space *home, bool share, AssignMax &b) | |
Constructor for cloning b. |
Constructor & Destructor Documentation
Member Function Documentation
BranchingDesc * Gecode::Int::Branch::AssignMax::description | ( | void | ) | [virtual] |
ExecStatus Gecode::Int::Branch::AssignMax::commit | ( | Space * | home, | |
unsigned int | a, | |||
BranchingDesc * | d | |||
) | [virtual] |
The documentation for this class was generated from the following files:
- gecode/int/branch.hh (Revision: 3259)
- gecode/int/branch/assign.cc (Revision: 3259)
- gecode/int/branch/assign.icc (Revision: 2096)