gui/it.unibo.tuprolog.ui.gui.template/TheoryTemplate

TheoryTemplate

data class TheoryTemplate(val id: String, val displayName: String, val source: String, val description: String = "")

A ready-to-load theory example, offered to the user e.g. via a "New from template" menu.

Constructors

constructor(id: String, displayName: String, source: String, description: String = "")

Properties

val description: String

val displayName: String

val source: String