SolverProfile
data class SolverProfile(val id: SolverProfileId, val displayName: String, val capabilities: SolverCapabilities, val factory: SolverSessionFactory, val defaultOptions: Map<String, String> = emptyMap(), val defaultOperators: List<OperatorPresentation> = emptyList())
A selectable solver configuration (e.g. "Prolog" or "Problog") a user can create a page against, bundling how to build sessions for it with what it supports and starts with.
Constructors
Link copied to clipboard
constructor(id: SolverProfileId, displayName: String, capabilities: SolverCapabilities, factory: SolverSessionFactory, defaultOptions: Map<String, String> = emptyMap(), defaultOperators: List<OperatorPresentation> = emptyList())
Properties
Link copied to clipboard
Link copied to clipboard
The operators a solver built from this profile is known to support before any session/resolution ever runs (e.g. a dialect's own operators, like ProbLog's ::) - seeds a new page's syntax highlighting (see DefaultGuiController.newPage) so it doesn't flag a dialect's own valid operators as syntax errors until the first solve happens to build a real solver and refresh it.
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard