Struct DiscreteCensus 

pub struct DiscreteCensus {
    pub binary: usize,
    pub integer: usize,
    pub nl_both: usize,
    pub nl_cons: usize,
    pub nl_objs: usize,
}

Header line 7: nbv niv nlvbi nlvci nlvoi (gh#987).

In AMPL’s convention nbv and niv count only the discrete variables that appear linearly; a discrete variable that appears nonlinearly is counted in nlvbi / nlvci / nlvoi instead, not in nbv + niv. So a MINLP whose integers all appear nonlinearly has nbv = niv = 0 — reading only those two fields reports it as continuous.

Fields

binary: usize

nbv: binary variables appearing only linearly.

integer: usize

niv: other integer variables appearing only linearly.

nl_both: usize

nlvbi: integer variables nonlinear in both constraints and objectives.

nl_cons: usize

nlvci: integer variables nonlinear in constraints only.

nl_objs: usize

nlvoi: integer variables nonlinear in objectives only.

Implementations

impl DiscreteCensus

pub fn total(&self) -> usize

Total declared discrete variables, linear and nonlinear (nbv + niv + nlvbi + nlvci + nlvoi).

pub fn nonlinear_discrete(&self) -> usize

Discrete variables that appear nonlinearly (nlvbi + nlvci + nlvoi).

pub fn integer_columns( &self, n: usize, counts: Option<NlCounts>, ) -> Option<Vec<usize>>

The 0-based columns of every discrete variable, from Gay’s variable ordering (“Writing .nl Files”, table 4):

1. nonlinear in both constraints and objectives — nlvb columns, the last nlvbi of them integer;
2. nonlinear in constraints only — nlvc − nlvb columns, the last nlvci integer;
3. nonlinear in objectives only — nlvo − nlvc columns (when positive), the last nlvoi integer;
4. linear variables, ending in nbv binary then niv integer, which are therefore the last nbv + niv columns of the model.

None when the columns cannot be identified: a nonlinear integer count is non-zero but the header’s line-5 census is missing, or the counts are inconsistent with the block sizes. Callers must report that as not checked, never as passed.

Trait Implementations

impl Clone for DiscreteCensus

fn clone(&self) -> DiscreteCensus

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Copy for DiscreteCensus

impl Debug for DiscreteCensus

fn fmt(&self, f: &mut Formatter<'_>) -> Result<(), Error>

Formats the value using the given formatter.

impl Default for DiscreteCensus

fn default() -> DiscreteCensus

Returns the “default value” for a type.

impl Eq for DiscreteCensus

impl PartialEq for DiscreteCensus

fn eq(&self, other: &DiscreteCensus) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for DiscreteCensus