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

Companion

object Companion

Properties

BDD_PRESENTATION

const val BDD_PRESENTATION: String

const val CANCELLATION: String

DYNAMIC_KB_INSPECTION

const val DYNAMIC_KB_INSPECTION: String

val EMPTY: SolverCapabilities

FLAGS_INSPECTION

const val FLAGS_INSPECTION: String

INTERACTIVE_INPUT

const val INTERACTIVE_INPUT: String

LIBRARIES_INSPECTION

const val LIBRARIES_INSPECTION: String

OPERATORS_INSPECTION

const val OPERATORS_INSPECTION: String

PROBABILISTIC_SOLUTIONS

const val PROBABILISTIC_SOLUTIONS: String

STATIC_KB_INSPECTION

const val STATIC_KB_INSPECTION: String