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

SolverCapabilities

data class SolverCapabilities(val values: Set<String> = emptySet())

A set of feature-flag strings a solver profile/session declares support for (see the companion's named constants), gating which inspector tabs/actions a frontend shows for it.

Constructors

Link copied to clipboard
constructor(values: Set<String> = emptySet())

Types

Link copied to clipboard
object Companion

Properties

Link copied to clipboard
val values: Set<String>

Functions

Link copied to clipboard
operator fun contains(capability: String): Boolean
Link copied to clipboard
fun containsAll(capabilities: Set<String>): Boolean
Generated by Dokka
© 2026 Copyright