Interface FreshVarMapper<T>

Type Parameters:
T - type of mapped objects
All Known Implementing Classes:
DefaultFreshVarMapper
public interface FreshVarMapper<T>
Maps objects to fresh variables.
Author:
Clément Sipieter (INRIA) <clement@6pi.fr>

  • Method Summary

    Modifier and Type
    Method
    Description
    Variable
    getImageOf(T object)
    Returns the fresh variable associated with the given object.

  • Method Details

    • getImageOf

      Variable getImageOf(T object)
      Returns the fresh variable associated with the given object.
      Parameters:
      object - the object to map
      Returns:
      the corresponding fresh variable