Package edu.uky.ai.logic

Interface Substitution

All Known Subinterfaces:
Bindings
All Known Implementing Classes:
HashSubstitution, ListBindings
Functional Interface:
This is a functional interface and can therefore be used as the assignment target for a lambda expression or method reference.
@FunctionalInterface public interface Substitution
A substitution defines that certain formulas should be replaced by other formulas.
Author:
Stephen G. Ware

  • Method Summary

    Modifier and Type
    Method
    Description
    Formula
    get(Formula original)
    Defines what a given formula should be replaced with.

  • Method Details

    • get

      Formula get(Formula original)
      Defines what a given formula should be replaced with.
      Parameters:
      original - the formula which may be replaced
      Returns:
      the replacement formula, or the original formula if no replacement is defined