44 #ifndef RTOP_ROP_NUM_BOUNDED_H
45 #define RTOP_ROP_NUM_BOUNDED_H
66 int RTOp_ROp_num_bounded_construct( RTOp_value_type inf_bnd,
struct RTOp_RTOp* op );
69 int RTOp_ROp_num_bounded_destroy(
struct RTOp_RTOp* op );
72 int RTOp_ROp_num_bounded_set_inf_bnd( RTOp_value_type inf_bnd,
struct RTOp_RTOp* op );
75 RTOp_index_type RTOp_ROp_num_bounded_val(RTOp_ReductTarget targ_obj);