Interface SubstitutionFactory

All Known Implementing Classes:
DefaultSubstitutionFactory
public interface SubstitutionFactory
Factory for creating substitutions.
Author:
Clément Sipieter (INRIA) <clement@6pi.fr>

  • Method Details

    • createSubstitution

      Substitution createSubstitution()
      Creates an empty substitution.
      Returns:
      the created substitution

    • createSubstitution

      Substitution createSubstitution(Substitution s)
      Creates a copy of the provided substitution.
      Parameters:
      s - the substitution to copy
      Returns:
      the created substitution