ClausePartition

interface ClausePartition: Any

Fields

Name Description
abstract staticClauses: Theory
abstract dynamicClauses: Theory
abstract operators: OperatorSet
abstract initialGoals: List<Struct>
abstract includes: List<Atom>
abstract flagStore: FlagStore

Methods

plus

open operator fun plus(other: ClausePartition): ClausePartition

Parameters

Name Description
other: ClausePartition

ReturnValue

Name Description
ClausePartition

Extensions

plus

operator fun ClausePartition?.plus(other: ClausePartition?): ClausePartition

Receiver

Name Description
ClausePartition?

Parameters

Name Description
other: ClausePartition?

ReturnValue

Name Description
ClausePartition