Package FAtiMA.Core.wellFormedNames

Class SubstitutionSet

java.lang.Object

FAtiMA.Core.wellFormedNames.SubstitutionSet

All Implemented Interfaces:

Serializable

public class SubstitutionSet
extends Object
implements Serializable

See Also:

• Serialized Form

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
void	AddSubstitution(Substitution subst)	Adds a given Substitution to the SubstitutionSet
void	AddSubstitutions(ArrayList<Substitution> substs)	Adds a list of Substitutions to the SubstitutionSet
boolean	equals(Object o)	Compares the current SubstitutionSet with another Set
ArrayList<Substitution>	GetSubstitutions()	Gets a list with all the substitutions stored in the SubstitutionSet
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 Details

SubstitutionSet

public SubstitutionSet()

Creates a new Set of Substitutions

SubstitutionSet

public SubstitutionSet(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 Details

AddSubstitution

public void AddSubstitution(Substitution subst)

Adds a given Substitution to the SubstitutionSet

Parameters:

subst - - the Substitution to add

AddSubstitutions

public void AddSubstitutions(ArrayList<Substitution> substs)

Adds a list of Substitutions to the SubstitutionSet

Parameters:

substs - - the list of Substitutions to Add

GetSubstitutions

public ArrayList<Substitution> GetSubstitutions()

Gets a list with all the substitutions stored in the SubstitutionSet

Returns:

- the list with all substitutions

equals

public boolean equals(Object o)

Compares the current SubstitutionSet with another Set

Overrides:

equals in class Object

Returns:

True if the elements of both sets are equal.

toString

public String toString()

Converts the SubstitutionSet to a String

Overrides:

toString in class Object