Methods
cancel
- cancel(): void
-
Returns void
isRunning
- isRunning(): boolean
-
Returns boolean
off
- off<T>(event: string, callback: ((e: T) => void)): void
-
Parameters
-
event: string
-
callback: ((e: T) => void)
-
- (e: T): void
-
Returns void
Returns void
on
- on(event: "solution", callback: ((e: SolutionMessage) => void)): void
-
Returns void
- on(event: "checker", callback: ((e: CheckerMessage) => void)): void
-
Returns void
- on(event: "status", callback: ((e: StatusMessage) => void)): void
-
Returns void
- on(event: "statistics", callback: ((e: StatisticsMessage) => void)): void
-
Returns void
- on(event: "timestamp", callback: ((e: TimestampMessage) => void)): void
-
Returns void
- on(event: "trace", callback: ((e: TraceMessage) => void)): void
-
Returns void
- on(event: "error", callback: ((e: ErrorMessage) => void)): void
-
Returns void
- on(event: "warning", callback: ((e: WarningMessage) => void)): void
-
Returns void
- on(event: "exit", callback: ((e: ExitMessage) => void)): void
-
Returns void
- on(event: string, callback: ((e: object) => void)): void
-
Parameters
-
event: string
-
callback: ((e: object) => void)
-
- (e: object): void
-
Returns void
Returns void
Thenable controller for a solve request.
Used to listen to events during solving, and can be awaited to retrieve the final solution/statistics/status.