Interface VariableGenerator

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

  • Method Summary

    Modifier and Type
    Method
    Description
    Variable
    getFreshSymbol()
    Generate a fresh variable, i.e. a variable that does not already exist.

  • Method Details

    • getFreshSymbol

      Variable getFreshSymbol()
      Generate a fresh variable, i.e. a variable that does not already exist.
      Specified by:
      getFreshSymbol in interface TermGenerator
      Returns:
      a fresh variable.