options
options: { ISMethod: number; LPIters: number; LPModel: number; MILP: boolean; applyDFS: boolean; isTolerance: number; showFixed: boolean; tFactor: number; tolerance: number } = options
Type declaration
-
ISMethod: number
-
LPIters: number
-
LPModel: number
-
MILP: boolean
-
applyDFS: boolean
-
isTolerance: number
-
showFixed: boolean
-
tFactor: number
-
tolerance: number
component for editing settings. This component should really be named as
SettingsView
, but it is calledDisplayView
for historical reasons.Kaiying Shan, Hanzhi Zhou