MutableTheory

interface MutableTheory: Theory, Any

Fields

Name Description
open isMutable: Boolean

Methods

toMutableTheory

open fun toMutableTheory(): MutableTheory

ReturnValue

Name Description
MutableTheory

plus

abstract operator fun plus(theory: Theory): MutableTheory

Adds given Theory to this

Parameters

Name Description
theory: Theory

ReturnValue

Name Description
MutableTheory

plus

open operator fun plus(clause: Clause): MutableTheory

Adds given Clause to this Theory

Parameters

Name Description
clause: Clause

ReturnValue

Name Description
MutableTheory

assertA

abstract fun assertA(clause: Clause): MutableTheory

Adds given clause before all other clauses in this theory

Parameters

Name Description
clause: Clause

ReturnValue

Name Description
MutableTheory

assertA

open fun assertA(struct: Struct): MutableTheory

Adds given clause before all other clauses in this theory

Parameters

Name Description
struct: Struct

ReturnValue

Name Description
MutableTheory

assertA

abstract fun assertA(clauses: Iterable<Clause>): MutableTheory

Adds the given clauses before all other clauses in this theory

Parameters

Name Description
clauses: Iterable<Clause>

ReturnValue

Name Description
MutableTheory

assertA

abstract fun assertA(clauses: Sequence<Clause>): MutableTheory

Adds the given clauses before all other clauses in this theory

Parameters

Name Description
clauses: Sequence<Clause>

ReturnValue

Name Description
MutableTheory

assertZ

abstract fun assertZ(clause: Clause): MutableTheory

Adds given clause after all other clauses in this theory

Parameters

Name Description
clause: Clause

ReturnValue

Name Description
MutableTheory

assertZ

open fun assertZ(struct: Struct): MutableTheory

Adds given clause after all other clauses in this theory

Parameters

Name Description
struct: Struct

ReturnValue

Name Description
MutableTheory

assertZ

abstract fun assertZ(clauses: Iterable<Clause>): MutableTheory

Adds the given clauses after all other clauses in this theory

Parameters

Name Description
clauses: Iterable<Clause>

ReturnValue

Name Description
MutableTheory

assertZ

abstract fun assertZ(clauses: Sequence<Clause>): MutableTheory

Adds the given clauses after all other clauses in this theory

Parameters

Name Description
clauses: Sequence<Clause>

ReturnValue

Name Description
MutableTheory

retract

abstract fun retract(clause: Clause): RetractResult<MutableTheory>

Tries to delete a matching clause from this theory

Parameters

Name Description
clause: Clause

ReturnValue

Name Description
RetractResult<MutableTheory>

retract

abstract fun retract(clauses: Iterable<Clause>): RetractResult<MutableTheory>

Tries to delete the matching clauses from this theory

Parameters

Name Description
clauses: Iterable<Clause>

ReturnValue

Name Description
RetractResult<MutableTheory>

retract

abstract fun retract(clauses: Sequence<Clause>): RetractResult<MutableTheory>

Tries to delete the matching clauses from this theory

Parameters

Name Description
clauses: Sequence<Clause>

ReturnValue

Name Description
RetractResult<MutableTheory>

retract

open fun retract(head: Struct): RetractResult<MutableTheory>

Tries to delete a matching clause from this theory

Parameters

Name Description
head: Struct

ReturnValue

Name Description
RetractResult<MutableTheory>

retractAll

abstract fun retractAll(clause: Clause): RetractResult<MutableTheory>

Tries to delete all matching clauses from this theory

Parameters

Name Description
clause: Clause

ReturnValue

Name Description
RetractResult<MutableTheory>

retractAll

open fun retractAll(head: Struct): RetractResult<MutableTheory>

Tries to delete all matching clauses from this theory

Parameters

Name Description
head: Struct

ReturnValue

Name Description
RetractResult<MutableTheory>

abolish

abstract fun abolish(indicator: Indicator): MutableTheory

Parameters

Name Description
indicator: Indicator

ReturnValue

Name Description
MutableTheory

replaceTags

abstract fun replaceTags(tags: Map<String, Any>): MutableTheory

Parameters

Name Description
tags: Map<String, Any>

ReturnValue

Name Description
MutableTheory

clone

abstract fun clone(): MutableTheory

ReturnValue

Name Description
MutableTheory

CompanionObject

MutableTheory

interface MutableTheory: Theory, Any

Methods

empty

fun empty(): MutableTheory

Creates an empty MutableTheory

ReturnValue

Name Description
MutableTheory

of

fun of(vararg clause: Clause): MutableTheory

Creates a MutableTheory, containing the given clauses

Parameters

Name Description
vararg clause: Clause

ReturnValue

Name Description
MutableTheory

of

fun of(clauses: Iterable<Clause>): MutableTheory

Creates a MutableTheory, containing the given clauses

Parameters

Name Description
clauses: Iterable<Clause>

ReturnValue

Name Description
MutableTheory

of

fun of(clauses: Sequence<Clause>): MutableTheory

Creates a MutableTheory, containing the given clauses

Parameters

Name Description
clauses: Sequence<Clause>

ReturnValue

Name Description
MutableTheory

of

fun of(vararg clauses: Scope.()->Clause): MutableTheory

Let developers easily create a MutableTheory, while avoiding variables names clashing by using a different Scope for each Clause

Parameters

Name Description
vararg clauses: Scope.()->Clause

ReturnValue

Name Description
MutableTheory

emptyIndexed

fun emptyIndexed(): MutableTheory

Creates an empty MutableTheory backed by an indexed data structure

ReturnValue

Name Description
MutableTheory

indexedOf

fun indexedOf(vararg clause: Clause): MutableTheory

Creates a MutableTheory backed by an indexed data structure, containing the given clauses

Parameters

Name Description
vararg clause: Clause

ReturnValue

Name Description
MutableTheory

indexedOf

fun indexedOf(vararg clauses: Scope.()->Clause): MutableTheory

Let developers easily create a MutableTheory backed by an indexed data structure, while avoiding variables names clashing by using a different Scope for each Clause

Parameters

Name Description
vararg clauses: Scope.()->Clause

ReturnValue

Name Description
MutableTheory

indexedOf

fun indexedOf(clauses: Sequence<Clause>): MutableTheory

Creates a MutableTheory backed by an indexed data structure, containing the given clauses

Parameters

Name Description
clauses: Sequence<Clause>

ReturnValue

Name Description
MutableTheory

indexedOf

fun indexedOf(clauses: Iterable<Clause>): MutableTheory

Creates a MutableTheory backed by an indexed data structure, containing the given clauses

Parameters

Name Description
clauses: Iterable<Clause>

ReturnValue

Name Description
MutableTheory

emptyListed

fun emptyListed(): MutableTheory

Creates a MutableTheory backed by a list, containing the given clauses

ReturnValue

Name Description
MutableTheory

listedOf

fun listedOf(vararg clause: Clause): MutableTheory

Creates a MutableTheory backed by a list, containing the given clauses

Parameters

Name Description
vararg clause: Clause

ReturnValue

Name Description
MutableTheory

listedOf

fun listedOf(vararg clause: Scope.()->Clause): MutableTheory

Let developers easily create a MutableTheory backed by a list, while avoiding variables names clashing by using a different Scope for each Clause

Parameters

Name Description
vararg clause: Scope.()->Clause

ReturnValue

Name Description
MutableTheory

listedOf

fun listedOf(clauses: Sequence<Clause>): MutableTheory

Creates a MutableTheory backed by a list, containing the given clauses

Parameters

Name Description
clauses: Sequence<Clause>

ReturnValue

Name Description
MutableTheory

listedOf

fun listedOf(clauses: Iterable<Clause>): MutableTheory

Creates a MutableTheory backed by a list, containing the given clauses

Parameters

Name Description
clauses: Iterable<Clause>

ReturnValue

Name Description
MutableTheory