Class HPolyOracleFeasibility

template<typename MT, typename VT, typename NT, class bfunc> class HPolyOracleFeasibility : public ConstraintSet

Define the feasibility constraint A p(t) <= b which we translate to (A * C) * Phi <= b

Template Parameters:

MT – Matrix Type
VT – Vector Type
NT – Numeric Type
bfunc – feasibility constraint type

Public Functions

inline HPolyOracleFeasibility(MT &C_, VT &b_, NT t0_, bfunc basis, bfunc basis_grad, std::string method_, int i, int ignore_facet_ = -1)

inline VecBound GetBounds() const override

inline VectorXd GetValues() const override

inline void FillJacobianBlock(std::string var_set, Jacobian &jac_block) const override

Public Members

MT &C

VT &b

bfunc phi

bfunc grad_phi

NT t0

int m

int M

std::string method

int index

int ignore_facet