core/it.unibo.tuprolog.argumentation.core.runtime.settings/Profiles/default

default

val default: Profile

The profile of a theory naming none

Generated by Dokka
arg2p