Package FAtiMA.Core.wellFormedNames

Class SubstitutionSet

  • All Implemented Interfaces:
    java.io.Serializable
    public class SubstitutionSet
extends java.lang.Object
implements java.io.Serializable
    See Also:
    Serialized Form

    • Constructor Summary

      Constructors 
      Constructor Description
      SubstitutionSet()
      Creates a new Set of Substitutions
      SubstitutionSet​(java.util.ArrayList<Substitution> substitutions)
      Creates a new Set of substitutions and adds all substitutions received in the argument

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void AddSubstitution​(Substitution subst)
      Adds a given Substitution to the SubstitutionSet
      void AddSubstitutions​(java.util.ArrayList<Substitution> substs)
      Adds a list of Substitutions to the SubstitutionSet
      boolean equals​(java.lang.Object o)
      Compares the current SubstitutionSet with another Set
      java.util.ArrayList<Substitution> GetSubstitutions()
      Gets a list with all the substitutions stored in the SubstitutionSet
      java.lang.String toString()
      Converts the SubstitutionSet to a String

      • Methods inherited from class java.lang.Object

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

    • Constructor Detail

      • SubstitutionSet

        public SubstitutionSet()
        Creates a new Set of Substitutions

      • SubstitutionSet

        public SubstitutionSet​(java.util.ArrayList<Substitution> substitutions)
        Creates a new Set of substitutions and adds all substitutions received in the argument
        Parameters:
        substitutions - - a list with initial substitutions to add to the SubstitutionSet

    • Method Detail

      • AddSubstitution

        public void AddSubstitution​(Substitution subst)
        Adds a given Substitution to the SubstitutionSet
        Parameters:
        subst - - the Substitution to add

      • AddSubstitutions

        public void AddSubstitutions​(java.util.ArrayList<Substitution> substs)
        Adds a list of Substitutions to the SubstitutionSet
        Parameters:
        substs - - the list of Substitutions to Add

      • GetSubstitutions

        public java.util.ArrayList<Substitution> GetSubstitutions()
        Gets a list with all the substitutions stored in the SubstitutionSet
        Returns:
        - the list with all substitutions

      • equals

        public boolean equals​(java.lang.Object o)
        Compares the current SubstitutionSet with another Set
        Overrides:
        equals in class java.lang.Object
        Returns:
        True if the elements of both sets are equal.

      • toString

        public java.lang.String toString()
        Converts the SubstitutionSet to a String
        Overrides:
        toString in class java.lang.Object