BCP_enum_branch.hpp

// Copyright (C) 2000, International Business Machines
// Corporation and others.  All Rights Reserved.
#ifndef _BCP_ENUM_BRANCH_H
#define _BCP_ENUM_BRANCH_H

// This file is fully docified.

//-----------------------------------------------------------------------------

enum BCP_child_preference{
   BCP_PreferChild_LowBound,
   BCP_PreferChild_HighBound,
   BCP_PreferChild_MoreFractional,
   BCP_PreferChild_LessFractional
};

//-----------------------------------------------------------------------------

enum BCP_branching_result{
   BCP_BranchingFathomedThisNode,
   BCP_BranchingDivedIntoNewNode,
   BCP_BranchingContinueThisNode
};

//-----------------------------------------------------------------------------

enum BCP_branching_decision{
   BCP_DoNotBranch_Fathomed,
   BCP_DoNotBranch,
   BCP_DoBranch
};

//-----------------------------------------------------------------------------

enum BCP_branching_object_relation{
   BCP_OldPresolvedIsBetter,
   BCP_NewPresolvedIsBetter,
   BCP_NewPresolvedIsBetter_BranchOnIt
};

//-----------------------------------------------------------------------------

enum BCP_branching_object_comparison{
   // We have info about objval branching on the last four bits.
   // Of those, the last shows that this is objval branching, the three
   // before that show the various types.
   BCP_Comparison_Objval =        0x01,
   BCP_LowestLowObjval =          0x00 | BCP_Comparison_Objval,
   BCP_HighestLowObjval =         0x02 | BCP_Comparison_Objval,
   BCP_LowestHighObjval =         0x04 | BCP_Comparison_Objval,
   BCP_HighestHighObjval =        0x06 | BCP_Comparison_Objval,
   BCP_LowestAverageObjval =      0x08 | BCP_Comparison_Objval,
   BCP_HighestAverageObjval =     0x0a | BCP_Comparison_Objval
   // We have info about fracnum_branching on the second to last four bits.
   // Of those, the last shows that this is fracnum branching, the three
   // before that show the various types.
   //   BCP_Comparison_FracNum =   0x10,
   //   BCP_LowestLowFracNum =     0x00 | BCP_Comparison_FracNum,
   //   BCP_HighestLowFracNum =    0x20 | BCP_Comparison_FracNum,
   //   BCP_HighestLowFracNum =    0x40 | BCP_Comparison_FracNum,
   //   BCP_HighestHighFracNum =   0x60 | BCP_Comparison_FracNum,

};

//-----------------------------------------------------------------------------

enum BCP_child_action{
   BCP_FathomChild,
   BCP_ReturnChild,
   BCP_KeepChild
};

//-----------------------------------------------------------------------------

enum BCP_diving_status{
   BCP_UnknownDivingStatus,
   BCP_DoNotDive,
   BCP_DoDive,
   BCP_TestBeforeDive
};

#endif

---