core/it.unibo.tuprolog.argumentation.core/Arg2pSolver

Arg2pSolver

interface Arg2pSolver

Types

object Companion

Properties

abstract val cache: Cache

abstract val context: ArgContext

abstract val loader: ArgLoader

abstract val settings: Settings

Functions

open fun baseLibraries(): List<ArgLibrary>

The libraries of every arg2p solver: the module loader, the context, the cache and the settings

dynamicLibraries

abstract fun dynamicLibraries(): Iterable<ArgLibrary>

open fun operators(): OperatorSet

staticLibraries

abstract fun staticLibraries(): Iterable<ArgLibrary>

open fun to2pLibraries(): Runtime