ILOG CPLEX C++ API 9.0 Reference Manual

IloCplex::GoalI
public IloBool isIntegerFeasible()
This method returns IloTrue if the solution of the current node is integer feasible.
public IloBool isSOSFeasible(const IloSOS2 sos2)
This method returns IloTrue if the solution of the current node is SOS feasible for the
special ordered set indicated in its argument. The SOS passed as a parameter to this
method must be of type 2; the equivalent method for an SOS of type 1 is also available.
See the User's Manual for more about these types of special ordered sets.
public IloBool isSOSFeasible(const IloSOS1 sos1)
This method returns IloTrue if the solution of the current node is SOS feasible for the
special ordered set indicated in its argument. The SOS passed as a parameter to this
method must be of type 1; the equivalent method for an SOS of type 2 is also available.
See the User's Manual for more about these types of special ordered sets.
public static IloCplex::Goal OrGoal(IloCplex::Goal goal1,
IloCplex::Goal goal2)
The static methods OrGoal all return a goal that creates as many branches (or,
equivalently, subproblems) as there are parameters. Each of the subnodes will be
initialized with the remaining goal stack of the current node. In addition, the goal
parameter will be pushed on the goal stack of the corresponding subgoal. If more than
six branches need to be created, instances of OrGoal can be combined.
public static IloCplex::Goal SolutionGoal(const IloIntVarArray vars,
const IloNumArray vals)
This static method creates and returns a goal that attempts to inject a solution specified
by setting the variables listed in array vars to the corresponding values listed in the
array vals.
IloCplex will not blindly accept such a solution as a new incumbent. Instead, it will
make sure that this solution is compatible with both the model and the goals. When
checking feasibility with goals, it checks feasibility with both the goals that have already
been executed and the goals that are still on the goal stack. Thus, in particular,
IloCplex will reject any solution that is not compatible with the branching that has
been done so far.
IloCplex takes over memory managment for arrays vars and vals passed to
SolutionGoal. Thus IloCplex will call method end for these arrays as soon as
they can be discarded. Calling end for the arrays passed to SolutionGoal is an
error and must be avoided.
public static IloCplex::Goal SolutionGoal(const IloNumVarArray vars,
const IloNumArray vals)
This static method creates and returns a goal that attempts to inject a solution specified
by setting the variables listed in array vars to the corresponding values listed in the
array vals.
ILOG CPLEX C++ API 9.0 REFERENCE M ANUAL 146