Options
All
  • Public
  • Public/Protected
  • All
Menu

@pal-ull/prodef-solver

Index

Classes

Interfaces

Type aliases

Object literals

Type aliases

ExecutionState

ExecutionState: AcceptedExecutionState | RejectedExecutionState | ExecutingExecutionState | ResolvedExecutionState | FailedExecutionState

KoaApp

KoaApp: Koa<Koa.DefaultState, Koa.DefaultContext>

SolverOutput

SolverOutput: RejectedOutput | ResolvedOutput | FailedOutput

State

State: "accepted" | "rejected" | "executing" | "resolved" | "failed"

Object literals

Const defaultExecutionConfiguration

defaultExecutionConfiguration: object

maxComputingTime

maxComputingTime: number = 10000

maxNumberOfResults

maxNumberOfResults: number = 10

Generated using TypeDoc