Interface ConstantGenerator

All Superinterfaces:
TermGenerator
All Known Implementing Classes:
DefaultConstantGenerator
public interface ConstantGenerator extends TermGenerator
Generates fresh constants.
Author:
Clément Sipieter (INRIA) <clement@6pi.fr>

  • Method Summary

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

  • Method Details

    • getFreshSymbol

      Constant getFreshSymbol()
      Generate a fresh constant, i.e. a constant which does not already exist.
      Specified by:
      getFreshSymbol in interface TermGenerator
      Returns:
      a fresh Constant.