solve/it.unibo.tuprolog.solve.directives

Package it.unibo.tuprolog.solve.directives

Types

Link copied to clipboard
interface ClauseListener
Content copied to clipboard
Link copied to clipboard
interface ClausePartition
Content copied to clipboard
Link copied to clipboard
class ClausePartitioner(source: Iterable<<ERROR CLASS>>, staticByDefault: Boolean = true) : ClausePartition, DirectiveSelector
Content copied to clipboard
Link copied to clipboard
interface DirectiveListener : ClauseListener
Content copied to clipboard
Link copied to clipboard
interface DirectiveSelector : DirectiveListener
Content copied to clipboard

Functions

Link copied to clipboard
@JvmOverloads
fun <C> Iterable<C>.partition(staticByDefault: Boolean = true): ClausePartition
Content copied to clipboard
Link copied to clipboard
operator fun ClausePartition?.plus(other: ClausePartition?): ClausePartition
Content copied to clipboard