SCIP_CONSNONLINEAR_BILINTERM

Type Alias SCIP_CONSNONLINEAR_BILINTERM 

Source
pub type SCIP_CONSNONLINEAR_BILINTERM = SCIP_ConsNonlinear_BilinTerm;
Expand description

bilinear term structure

This can represent a product which

  • explicitly exists in the problem and is under- and/or overestimated by a single auxiliary variable stored as var in the union aux (case nauxexprs = 0) or
  • is involved in bilinear relations implicitly given by linear constraints with binary variables, and is under- and/or overestimated by linear expression(s) stored as exprs in the union aux (case nauxexprs > 0).

An explicitly existing product can also be involved in implicit relations, then it will be stored as in the second case.

Aliased Type§

#[repr(C)]
pub struct SCIP_CONSNONLINEAR_BILINTERM { pub x: *mut SCIP_Var, pub y: *mut SCIP_Var, pub aux: SCIP_ConsNonlinear_BilinTerm__bindgen_ty_1, pub nauxexprs: i32, pub auxexprssize: i32, pub nlockspos: i32, pub nlocksneg: i32, pub existing: u32, }

Fields§

§x: *mut SCIP_Var

< first variable

§y: *mut SCIP_Var

< second variable

§aux: SCIP_ConsNonlinear_BilinTerm__bindgen_ty_1§nauxexprs: i32

< number of aux.exprs (0 for products without implicit relations)

§auxexprssize: i32

< size of the aux.exprs array

§nlockspos: i32

< number of positive expression locks

§nlocksneg: i32

< number of negative expression locks

§existing: u32

< does the product exist explicitly in the problem?