core/it.unibo.tuprolog.argumentation.core.model.terms/TermValues/operators

operators

val operators: OperatorSet

The operators of the theories of arg2p, and the default ones

Generated by Dokka
arg2p