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

ILsaMolecule

interface ILsaMolecule : Molecule, Iterable<T> , Comparable<T>

Inheritors

Properties

val EVERY_MOLECULE: Dependency

val EVERYTHING: Dependency

val MOVEMENT: Dependency

Functions

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

abstract fun argsNumber(): Int

abstract fun compareTo(p: T): Int

open fun dependsOn(p: Dependency): Boolean

abstract fun equals(mol: Any): Boolean

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

abstract fun generalize(): ILsaMolecule

abstract fun getArg(i: Int): IExpression

abstract fun getName(): String

hasDuplicateVariables

abstract fun hasDuplicateVariables(): Boolean

abstract fun isIdenticalTo(mol: ILsaMolecule): Boolean

abstract fun isIstance(): Boolean

abstract fun iterator(): Iterator<T>

open fun makesDependent(p: Dependency): Boolean

abstract fun matches(mol: ILsaMolecule): Boolean

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

abstract fun moreGenericOf(mol: ILsaMolecule): Boolean

abstract fun size(): Int

open fun spliterator(): Spliterator<T>

toGraphQLMoleculeSurrogate

fun Molecule.toGraphQLMoleculeSurrogate(): MoleculeSurrogate

Converts a Molecule to a MoleculeSurrogate.

abstract fun toHashString(): HashString

abstract fun toString(): String