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

ILsaMolecule

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

Inheritors

Properties

Link copied to clipboard
Link copied to clipboard
Link copied to clipboard

Functions

Link copied to clipboard
abstract fun allocateVar(matches: Map<HashString, ITreeNode<out Any>>): List<IExpression>
Link copied to clipboard
abstract fun argsNumber(): Int
Link copied to clipboard
abstract fun compareTo(p: T): Int
Link copied to clipboard
open fun dependsOn(dependency: Dependency): Boolean
Link copied to clipboard
abstract fun equals(mol: Any): Boolean
Link copied to clipboard
open fun forEach(action: Consumer<in T>)
Link copied to clipboard
abstract fun generalize(): ILsaMolecule
Link copied to clipboard
abstract fun getArg(i: Int): IExpression
Link copied to clipboard
abstract fun getName(): String
Link copied to clipboard
abstract fun hasDuplicateVariables(): Boolean
Link copied to clipboard
abstract fun isIdenticalTo(mol: ILsaMolecule): Boolean
Link copied to clipboard
abstract fun isIstance(): Boolean
Link copied to clipboard
abstract fun iterator(): Iterator<T>
Link copied to clipboard
open fun makesDependent(dependency: Dependency): Boolean
Link copied to clipboard
abstract fun matches(mol: ILsaMolecule): Boolean
abstract fun matches(mol: List<out IExpression>, duplicateVariables: Boolean): Boolean
Link copied to clipboard
abstract fun moreGenericOf(mol: ILsaMolecule): Boolean
Link copied to clipboard
abstract fun size(): Int
Link copied to clipboard
open fun spliterator(): Spliterator<T>
Link copied to clipboard
abstract fun toHashString(): HashString
Link copied to clipboard
abstract fun toString(): String