SideEffectFactory

A factory of SideEffects, offering one (often overloaded) method per concrete SideEffect subtype, as an ergonomic alternative to instantiating each subtype's constructor directly. Implemented by SideEffectsBuilder (which additionally collects the created instances), and available stand-alone via default.

Inheritors

Types

Link copied to clipboard
object Companion

Functions

Link copied to clipboard
Link copied to clipboard
abstract fun addDynamicClauses(clauses: Iterable<Clause>, onTop: Boolean = false): SideEffect.AddDynamicClauses
abstract fun addDynamicClauses(clauses: Sequence<Clause>, onTop: Boolean = false): SideEffect.AddDynamicClauses
abstract fun addDynamicClauses(vararg clauses: Clause, onTop: Boolean = false): SideEffect.AddDynamicClauses
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
abstract fun addStaticClauses(clauses: Iterable<Clause>, onTop: Boolean = false): SideEffect.AddStaticClauses
abstract fun addStaticClauses(clauses: Sequence<Clause>, onTop: Boolean = false): SideEffect.AddStaticClauses
abstract fun addStaticClauses(vararg clauses: Clause, onTop: Boolean = false): SideEffect.AddStaticClauses
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
abstract fun resetFlags(vararg flags: Pair<String, Term>): SideEffect.ResetFlags
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
Link copied to clipboard
abstract fun setFlag(name: String, value: Term): SideEffect.SetFlags
Link copied to clipboard
abstract fun setFlags(flags: Map<String, Term>): SideEffect.SetFlags
abstract fun setFlags(vararg flags: Pair<String, Term>): SideEffect.SetFlags
Link copied to clipboard
Link copied to clipboard