DirectiveSelector

Types

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

open fun listenDirective(directive: <ERROR CLASS>)

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

abstract fun onClause(clause: <ERROR CLASS>)

abstract fun onDirective(directive: <ERROR CLASS>)

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

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

abstract fun onFact(fact: <ERROR CLASS>)

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

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

abstract fun onRule(rule: <ERROR CLASS>)

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

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

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

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