class ClausePartitioner: ClausePartition, DirectiveSelector, Any
Fields
Constructors
Methods
onSetFlag
fun onSetFlag(directive: Directive, name: Term, value: Term)
ReturnValue
| Name | Description |
|---|---|
Unit
|
onOperator
fun onOperator(directive: Directive, priority: Term, specifier: Term, name: Term)
ReturnValue
| Name | Description |
|---|---|
Unit
|
onDynamic
fun onDynamic(directive: Directive, indicator: Indicator)
ReturnValue
| Name | Description |
|---|---|
Unit
|
onDirectiveMatchingPattern
fun onDirectiveMatchingPattern(directive: Directive, pattern: Term, unifier: Unifier)
ReturnValue
| Name | Description |
|---|---|
Unit
|
onDirective
fun onDirective(directive: Directive)
Parameters
| Name | Description |
|---|---|
directive: Directive
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
onRule
fun onRule(rule: Rule)
Parameters
| Name | Description |
|---|---|
rule: Rule
|
ReturnValue
| Name | Description |
|---|---|
Unit
|
Extensions
plus
operator fun ClausePartition?.plus(other: ClausePartition?): ClausePartition
Receiver
| Name | Description |
|---|---|
ClausePartition?
|
Parameters
| Name | Description |
|---|---|
other: ClausePartition?
|
ReturnValue
| Name | Description |
|---|---|
ClausePartition
|