solve/it.unibo.tuprolog.solve.directives/ClausePartitioner

ClausePartitioner

class ClausePartitioner(source: Iterable<<ERROR CLASS>>, staticByDefault: Boolean = true) : ClausePartition, DirectiveSelector

Constructors

ClausePartitioner

fun ClausePartitioner(source: Iterable<<ERROR CLASS>>, staticByDefault: Boolean = true)

Functions

listen

open override fun listen(clause: <ERROR CLASS>)

listenDirective

open fun listenDirective(directive: <ERROR CLASS>)

listenDirectiveMatchingPattern

open override fun listenDirectiveMatchingPattern( directive: <ERROR CLASS>, pattern: <ERROR CLASS>, unifier: <ERROR CLASS>)

onClause

open override fun onClause(clause: <ERROR CLASS>)

onDirective

open override fun onDirective(directive: <ERROR CLASS>)

onDirectiveMatchingPattern

open override fun onDirectiveMatchingPattern( directive: <ERROR CLASS>, pattern: <ERROR CLASS>, unifier: <ERROR CLASS>)

onDynamic

open override fun onDynamic(directive: <ERROR CLASS>, indicator: <ERROR CLASS>)

onFact

open override fun onFact(fact: <ERROR CLASS>)

onLoad

open override fun onLoad(directive: <ERROR CLASS>, goal: <ERROR CLASS>)

onOperator

open override fun onOperator( directive: <ERROR CLASS>, priority: <ERROR CLASS>, specifier: <ERROR CLASS>, name: <ERROR CLASS>)

onRule

open override fun onRule(rule: <ERROR CLASS>)

onSetFlag

open override fun onSetFlag( directive: <ERROR CLASS>, name: <ERROR CLASS>, value: <ERROR CLASS>)

onSolve

open override fun onSolve(directive: <ERROR CLASS>, goal: <ERROR CLASS>)

onStatic

open override fun onStatic(directive: <ERROR CLASS>, indicator: <ERROR CLASS>)

plus

open operator fun plus(other: ClausePartition): ClausePartition

Properties

dynamicClauses

open override val dynamicClauses: <ERROR CLASS>

flagStore

open override val flagStore: FlagStore

includes

open override val includes: List<<ERROR CLASS>>

initialGoals

open override val initialGoals: List<<ERROR CLASS>>

operators

open override val operators: <ERROR CLASS>

patterns

open override val patterns: List<<ERROR CLASS>>

staticClauses

open override val staticClauses: <ERROR CLASS>