solve/it.unibo.tuprolog.solve.directives/ClausePartition

ClausePartition

interface ClausePartition
Content copied to clipboard

Functions

Link copied to clipboard
open operator fun plus(other: ClausePartition): ClausePartition
Content copied to clipboard

Properties

Link copied to clipboard
abstract val dynamicClauses: <ERROR CLASS>
Content copied to clipboard
Link copied to clipboard
abstract val flagStore: FlagStore
Content copied to clipboard
Link copied to clipboard
abstract val includes: List<<ERROR CLASS>>
Content copied to clipboard
Link copied to clipboard
abstract val initialGoals: List<<ERROR CLASS>>
Content copied to clipboard
Link copied to clipboard
abstract val operators: <ERROR CLASS>
Content copied to clipboard
Link copied to clipboard
abstract val staticClauses: <ERROR CLASS>
Content copied to clipboard

Inheritors

Link copied to clipboard

Extensions

Link copied to clipboard
operator fun ClausePartition?.plus(other: ClausePartition?): ClausePartition
Content copied to clipboard