package it.unibo.tuprolog.solve.directives
Classes
| Name | Description |
|---|---|
interface ClauseListener: Any
|
|
interface ClausePartition: Any
|
|
class ClausePartitioner: ClausePartition, DirectiveSelector, Any
|
|
interface DirectiveListener: ClauseListener, Any
|
|
interface DirectiveSelector: DirectiveListener, Any
|
Methods
plus
operator fun ClausePartition?.plus(other: ClausePartition?): ClausePartition
Receiver
| Name | Description |
|---|---|
ClausePartition?
|
Parameters
| Name | Description |
|---|---|
other: ClausePartition?
|
ReturnValue
| Name | Description |
|---|---|
ClausePartition
|
partition
fun <C : Clause> Iterable<C>.partition(staticByDefault: Boolean): ClausePartition
Receiver
| Name | Description |
|---|---|
Iterable<C>
|
Parameters
| Name | Description |
|---|---|
staticByDefault: Boolean
|
ReturnValue
| Name | Description |
|---|---|
ClausePartition
|