FirstInfeasibleFound

class FirstInfeasibleFound : public idol::VariableBranching

Public Functions

FirstInfeasibleFound() = default

template<class IteratorT> inline FirstInfeasibleFound(IteratorT t_begin, IteratorT t_end)

template<class NodeInfoT> class Strategy : public idol::VariableBranching::Strategy<NodeInfoT>

Public Functions

Strategy() = default

inline explicit Strategy(const FirstInfeasibleFound &t_parent)

inline BranchingRules::VariableBranching<NodeInfoT> *operator()(const Optimizers::BranchAndBound<NodeInfoT> &t_parent) const override

inline virtual VariableBranching::Strategy<NodeInfoT> *clone() const override

virtual BranchingRule<NodeT> *operator()(const Optimizers::BranchAndBound<NodeT> &t_parent) const = 0