Interface TermGenerator

All Known Subinterfaces:
ConstantGenerator, VariableGenerator
All Known Implementing Classes:
DefaultConstantGenerator, DefaultVariableGenerator, StoredVariableGenerator
public interface TermGenerator
Generates fresh terms.
Author:
Clément Sipieter (INRIA) <clement@6pi.fr>

  • Method Summary

    Modifier and Type
    Method
    Description
    Term
    getFreshSymbol()
    Generate a fresh term, i.e. a term which does not already exist.

  • Method Details

    • getFreshSymbol

      Term getFreshSymbol()
      Generate a fresh term, i.e. a term which does not already exist.
      Returns:
      a fresh Term.