SolverInspectionSnapshot
data class SolverInspectionSnapshot(val operators: List<OperatorPresentation> = emptyList(), val flags: List<FlagPresentation> = emptyList(), val libraries: List<LibraryPresentation> = emptyList(), val staticKnowledgeBase: String = "", val dynamicKnowledgeBase: String = "")
Everything the inspector panels (operators, flags, libraries, knowledge bases) show about a solver at one point in time, already formatted as display-ready text.
Constructors
Link copied to clipboard
constructor(operators: List<OperatorPresentation> = emptyList(), flags: List<FlagPresentation> = emptyList(), libraries: List<LibraryPresentation> = emptyList(), staticKnowledgeBase: String = "", dynamicKnowledgeBase: String = "")