SamtConfiguration
data class SamtConfiguration(val source: Path, val plugins: List<SamtPluginConfiguration>, val generators: List<SamtGeneratorConfiguration>)
Constructors
Link copied to clipboard
constructor(source: Path, plugins: List<SamtPluginConfiguration>, generators: List<SamtGeneratorConfiguration>)