Package 

Interface ILsaMolecule

  • All Implemented Interfaces:
    it.unibo.alchemist.model.interfaces.Dependency , it.unibo.alchemist.model.interfaces.Molecule , java.io.Serializable , java.lang.Comparable , java.lang.Iterable 
    
public interface ILsaMolecule
 implements Molecule, Iterable<IExpression>, Comparable<ILsaMolecule>

    • Nested Class Summary

      Nested Classes 
      Modifier and Type Class Description

    • Field Summary

      Fields 
      Modifier and Type Field Description

    • Constructor Summary

      Constructors 
      Constructor Description

    • Enum Constant Summary

      Enum Constants 
      Enum Constant Description

    • Method Summary

      Modifier and Type Method Description
      abstract List<IExpression> allocateVar(Map<HashString, ITreeNode<out Object>> matches)
      abstract int argsNumber()
      abstract boolean equals(Object mol)
      abstract ILsaMolecule generalize()
      abstract IExpression getArg(int i)
      abstract boolean hasDuplicateVariables()
      abstract boolean isIdenticalTo(ILsaMolecule mol)
      abstract boolean isIstance()
      abstract boolean matches(ILsaMolecule mol)
      abstract boolean matches(List<out IExpression> mol, boolean duplicateVariables)
      abstract boolean moreGenericOf(ILsaMolecule mol)
      abstract int size()
      abstract HashString toHashString()
      abstract String toString()

      • Methods inherited from class it.unibo.alchemist.model.interfaces.Molecule

        getName

      • Methods inherited from class it.unibo.alchemist.model.interfaces.Dependency

        dependsOn, makesDependent

      • Methods inherited from class java.lang.Iterable

        forEach, iterator, spliterator

      • Methods inherited from class java.lang.Comparable

        compareTo

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Constructor Detail

    • Method Detail

      • allocateVar

         abstract List<IExpression> allocateVar(Map<HashString, ITreeNode<out Object>> matches)
        Parameters:
        matches - the map with the variable / value bindings

      • equals

         abstract boolean equals(Object mol)
        Parameters:
        mol - the ILsaMolecule to compare.

      • getArg

         abstract IExpression getArg(int i)
        Parameters:
        i - : position of the argument to get

      • matches

         abstract boolean matches(ILsaMolecule mol)
        Parameters:
        mol - the LsaMolecule to try to match with.

      • matches

         abstract boolean matches(List<out IExpression> mol, boolean duplicateVariables)
        Parameters:
        mol - the LsaMolecule to try to match with
        duplicateVariables - if true, the matching of variables reused within the same tuple is enabled

      • size

         abstract int size()