Interface SolveProgress

Thenable controller for a solve request.

Used to listen to events during solving, and can be awaited to retrieve the final solution/statistics/status.

Hierarchy

Methods

cancel isRunning off on

Methods

cancel

  • Cancel solving.

    Example

    const solve = model.solve({
      solver: 'gecode'
    });
    setTimeout(() => {
      if (solve.isRunning()) {
        solve.cancel();
      }
    }, 10000);

    Returns void

isRunning

  • Return whether or not solving is still in progress.

    Example

    const solve = model.solve({
      solver: 'gecode'
    });
    setInterval(() => {
      if (solve.isRunning()) {
        console.log('Still running');
      }
    }, 1000)

    Returns boolean

off

  • Stop listening for an event.

    Example

    const solve = model.solve({
      solver: 'gecode'
    });
    const onSolution = e => {
      console.log(e.output);
    };
    // Start listening
    solve.on('solution', onSolution);
    setTimeout(() => {
      // Stop listening
      solve.off('solution', onSolution);
    }, 1000);

    Type Parameters

    • T

    Parameters

    • event: string
    • callback: ((e) => void)
        • (e): void

        • Parameters

          • e: T

          Returns void

    Returns void

on

  • Listen for an event.

    Example

    const solve = model.solve({
      solver: 'gecode'
    });
    solve.on('solution', e => {
      console.log(e.output);
    });

    Parameters

    • event: "solution"
    • callback: ((e) => void)

    Returns void

  • Parameters

    • event: "checker"
    • callback: ((e) => void)

    Returns void

  • Parameters

    • event: "status"
    • callback: ((e) => void)

    Returns void

  • Parameters

    • event: "statistics"
    • callback: ((e) => void)

    Returns void

  • Parameters

    • event: "timestamp"
    • callback: ((e) => void)

    Returns void

  • Parameters

    • event: "trace"
    • callback: ((e) => void)

    Returns void

  • Parameters

    • event: "error"
    • callback: ((e) => void)

    Returns void

  • Parameters

    • event: "warning"
    • callback: ((e) => void)

    Returns void

  • Parameters

    • event: "exit"
    • callback: ((e) => void)

    Returns void

  • Parameters

    • event: string
    • callback: ((e) => void)
        • (e): void

        • Parameters

          • e: object

          Returns void

    Returns void

Settings

Member Visibility

Theme

On This Page

Generated using TypeDoc