Package edu.harvard.seas.pl.abcdatalog.util.substitution

Interface Substitution

All Known Subinterfaces:
ConstOnlySubstitution, TermUnifier
All Known Implementing Classes:
ClauseSubstitution, SimpleConstSubstitution, UnionFindBasedUnifier
public interface Substitution
A mapping from variables to terms.

  • Method Summary

    Modifier and Type
    Method
    Description
    Term[]
    apply(Term[] original)
    Apply this substitution to a list of terms, creating a new list.
    Term
    get(Variable x)
    Retrieves the mapping of a variable.

  • Method Details

    • apply

      Term[] apply(Term[] original)
      Apply this substitution to a list of terms, creating a new list.
      Parameters:
      original - the original list
      Returns:
      the new list

    • get

      Term get(Variable x)
      Retrieves the mapping of a variable.
      Parameters:
      x - the variable
      Returns:
      the term that the variable is bound to, or null if the variable is not in the substitution