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
varin the unionaux(casenauxexprs= 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
exprsin the unionaux(casenauxexprs> 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?