MiniZinc JavaScript
    Preparing search index...

    Interface ModelInterface

    Model interface output.

    interface ModelInterface {
        globals: string[];
        has_output_item: boolean;
        included_files: string[];
        input: { [name: string]: VarType };
        method: "sat" | "min" | "max";
        output: { [name: string]: VarType };
        type: "interface";
    }
    Index

    Properties

    globals: string[]

    Global constraints used

    has_output_item: boolean

    Whether there is an output item present

    included_files: string[]

    Files included

    input: { [name: string]: VarType }

    Model input parameters

    method: "sat" | "min" | "max"

    Solve method

    output: { [name: string]: VarType }

    Model output variables

    type: "interface"

    Message type