diff --git a/docs/develop/assets/highlight.css b/docs/develop/assets/highlight.css index 23ba222..1b4cefb 100644 --- a/docs/develop/assets/highlight.css +++ b/docs/develop/assets/highlight.css @@ -27,6 +27,8 @@ --dark-hl-12: #6A9955; --light-hl-13: #098658; --dark-hl-13: #B5CEA8; + --light-hl-14: #EE0000; + --dark-hl-14: #D7BA7D; --light-code-background: #FFFFFF; --dark-code-background: #1E1E1E; } @@ -46,6 +48,7 @@ --hl-11: var(--light-hl-11); --hl-12: var(--light-hl-12); --hl-13: var(--light-hl-13); + --hl-14: var(--light-hl-14); --code-background: var(--light-code-background); } } @@ -64,6 +67,7 @@ --hl-11: var(--dark-hl-11); --hl-12: var(--dark-hl-12); --hl-13: var(--dark-hl-13); + --hl-14: var(--dark-hl-14); --code-background: var(--dark-code-background); } } @@ -82,6 +86,7 @@ --hl-11: var(--light-hl-11); --hl-12: var(--light-hl-12); --hl-13: var(--light-hl-13); + --hl-14: var(--light-hl-14); --code-background: var(--light-code-background); } @@ -100,6 +105,7 @@ --hl-11: var(--dark-hl-11); --hl-12: var(--dark-hl-12); --hl-13: var(--dark-hl-13); + --hl-14: var(--dark-hl-14); --code-background: var(--dark-code-background); } @@ -117,4 +123,5 @@ .hl-11 { color: var(--hl-11); } .hl-12 { color: var(--hl-12); } .hl-13 { color: var(--hl-13); } +.hl-14 { color: var(--hl-14); } pre, code { background: var(--code-background); } diff --git a/docs/develop/classes/Model.html b/docs/develop/classes/Model.html index 3b1739e..16f4fa7 100644 --- a/docs/develop/classes/Model.html +++ b/docs/develop/classes/Model.html @@ -32,7 +32,7 @@

Hierarchy

+
  • Defined in index.d.ts:42
  • @@ -69,7 +69,7 @@

    Example

    const
    +
  • Defined in index.d.ts:51
  • Methods

    @@ -95,7 +95,7 @@

    Example

    model
    +
  • Defined in index.d.ts:105
    • @@ -129,7 +129,7 @@

      Example

      /// Add this
       

      This method is generally only used from the browser.

      +
    • Defined in index.d.ts:145
  • Adds the given file to the model.

    @@ -149,7 +149,7 @@

    Example

    modelOnly available using the native version of MiniZinc in NodeJS.

  • +
  • Defined in index.d.ts:158
  • +
  • Defined in index.d.ts:122
  • +
  • Defined in index.d.ts:91
  • +
  • Defined in index.d.ts:178
  • +
  • Defined in index.d.ts:75
  • +
  • Defined in index.d.ts:224
  • +
  • Defined in index.d.ts:198
    • @@ -330,7 +330,7 @@

      Example

      // Begin solv
       
    +
  • Defined in index.d.ts:253
  • +
  • Defined in index.d.ts:288
  • +
  • Defined in index.d.ts:348
  • +
  • Defined in index.d.ts:324
  • +
  • Defined in index.d.ts:319
  • +
  • Defined in index.d.ts:297
  • +
  • Defined in index.d.ts:537
  • +
  • Defined in index.d.ts:669
    • @@ -107,7 +107,7 @@

      Example

      const
    +
  • Defined in index.d.ts:726
  • @@ -162,7 +162,7 @@
    e: Returns void
  • Returns void

    +
  • Defined in index.d.ts:701
  • @@ -185,7 +185,7 @@
    e: Returns void
  • Returns void

    +
  • Defined in index.d.ts:702
  • @@ -208,7 +208,7 @@
    e: Returns void
  • Returns void

    +
  • Defined in index.d.ts:703
  • @@ -231,7 +231,7 @@
    e: Returns void
  • Returns void

    +
  • Defined in index.d.ts:704
  • @@ -254,7 +254,7 @@
    e:

    Returns void

  • Returns void

    +
  • Defined in index.d.ts:705
  • +
  • Defined in index.d.ts:383
  • what: string
    @@ -82,7 +82,7 @@
    +
  • Defined in index.d.ts:385
  • +
  • Defined in index.d.ts:640
  • +
  • Defined in index.d.ts:459
  • included_files: string[]
    @@ -65,7 +65,7 @@
    +
  • Defined in index.d.ts:461
  • input: {
        [name: string]: VarType;
    }
    @@ -78,7 +78,7 @@

    Type declaration

    [name: string]: VarType
    +
  • Defined in index.d.ts:453
  • method: "sat" | "min" | "max"
    @@ -86,7 +86,7 @@
    +
  • Defined in index.d.ts:457
  • output: {
        [name: string]: VarType;
    }
    @@ -99,7 +99,7 @@

    Type declaration

    [name: string]: VarType
    +
  • Defined in index.d.ts:455
  • type: "interface"
    @@ -107,7 +107,7 @@
    +
  • Defined in index.d.ts:451
  • +
  • Defined in index.d.ts:509
  • raw?: string
    @@ -86,7 +86,7 @@
    +
  • Defined in index.d.ts:507
  • +
  • Defined in index.d.ts:521
  • +
  • Defined in index.d.ts:751
    • @@ -107,7 +107,7 @@

      Example

      const
    +
  • Defined in index.d.ts:810
  • @@ -162,7 +162,7 @@
    e: Returns void
  • Returns void

    +
  • Defined in index.d.ts:782
  • @@ -185,7 +185,7 @@
    e: Returns void
  • Returns void

    +
  • Defined in index.d.ts:783
  • @@ -208,7 +208,7 @@
    e: Returns void
  • Returns void

    +
  • Defined in index.d.ts:784
  • @@ -231,7 +231,7 @@
    e: Returns void
  • Returns void

    +
  • Defined in index.d.ts:785
  • @@ -254,7 +254,7 @@
    e: Returns void
  • Returns void

    +
  • Defined in index.d.ts:786
  • @@ -277,7 +277,7 @@
    e: Returns void
  • Returns void

    +
  • Defined in index.d.ts:787
  • @@ -300,7 +300,7 @@
    e: Returns void
  • Returns void

    +
  • Defined in index.d.ts:788
  • @@ -323,7 +323,7 @@
    e: Returns void
  • Returns void

    +
  • Defined in index.d.ts:789
  • @@ -346,7 +346,7 @@
    e:

    Returns void

  • Returns void

    +
  • Defined in index.d.ts:790
  • +
  • Defined in index.d.ts:818
  • +
  • Defined in index.d.ts:437
  • +
  • Defined in index.d.ts:598
  • +
  • Defined in index.d.ts:584
  • +
  • Defined in index.d.ts:611
  • +
  • Defined in index.d.ts:625
  • type: "trace"
    @@ -62,7 +62,7 @@
    +
  • Defined in index.d.ts:623
  • +
  • Defined in index.d.ts:471
  • +
  • Defined in index.d.ts:403
  • what: string
    @@ -82,7 +82,7 @@
    +
  • Defined in index.d.ts:405
  • +
  • Defined in index.d.ts:557