alchemist-incarnation-sapere/it.unibo.alchemist.model.sapere/ILsaMolecule

ILsaMolecule

interface ILsaMolecule : Molecule, Iterable<T> , Comparable<T> (source)

Inheritors

LsaMolecule

Properties

EVERY_MOLECULE

val EVERY_MOLECULE: Dependency

EVERYTHING

val EVERYTHING: Dependency

MOVEMENT

val MOVEMENT: Dependency

Functions

allocateVar

abstract fun allocateVar(matches: Map<HashString, ITreeNode<out Any>>): List<IExpression>

argsNumber

abstract fun argsNumber(): Int

compareTo

abstract fun compareTo(p: T): Int

dependsOn

open fun dependsOn(dependency: Dependency): Boolean

equals

abstract fun equals(mol: Any): Boolean

forEach

open fun forEach(action: Consumer<in T>)

generalize

abstract fun generalize(): ILsaMolecule

getArg

abstract fun getArg(i: Int): IExpression

getName

abstract fun getName(): String

hasDuplicateVariables

abstract fun hasDuplicateVariables(): Boolean

isIdenticalTo

abstract fun isIdenticalTo(mol: ILsaMolecule): Boolean

isIstance

abstract fun isIstance(): Boolean

iterator

abstract fun iterator(): Iterator<T>

makesDependent

open fun makesDependent(dependency: Dependency): Boolean

matches

abstract fun matches(mol: ILsaMolecule): Boolean

abstract fun matches(mol: List<out IExpression>, duplicateVariables: Boolean): Boolean

moreGenericOf

abstract fun moreGenericOf(mol: ILsaMolecule): Boolean

size

abstract fun size(): Int

spliterator

open fun spliterator(): Spliterator<T>

toHashString

abstract fun toHashString(): HashString

toString

abstract fun toString(): String