Interface Output

Model output mapping section names to their contents.

The default mode will populate the json key with an object mapping variable names to their values (see the MiniZinc documentation for details on the format).

Note that sections ending with _json will be arrays.

interface Output {
    default?: string;
    dzn?: string;
    json?: { [variable: string]: any };
    raw?: string;
    [section: string]: undefined | string | object | any[];
}

Indexable

  • [section: string]: undefined | string | object | any[]

    Output to user-defined sections

Properties

default? dzn? json? raw?

Properties

Optionaldefault

default?: string

The string output to the 'default' section (where no section was specified).

Optionaldzn

dzn?: string

The DZN output if produced.

Example

model.solve({
  jsonOutput: false,
  options: {
    solver: 'gecode',
   'output-mode': 'dzn'
  }
});

Optionaljson

json?: { [variable: string]: any }

The JSON output if produced

Optionalraw

raw?: string

The output of all sections combined

Settings

Member Visibility

On This Page

Properties