gui/it.unibo.tuprolog.ui.gui.solver/SolverProfileRegistry

SolverProfileRegistry

class SolverProfileRegistry

The set of solver profiles a running application knows about, keyed by id and rejecting duplicates.

Constructors

SolverProfileRegistry

constructor(profiles: Iterable<SolverProfile>)

Functions

fun all(): List<SolverProfile>

fun find(id: SolverProfileId): SolverProfile?

fun plus(additionalProfiles: Iterable<SolverProfile>): SolverProfileRegistry

fun require(id: SolverProfileId): SolverProfile