gov.nasa.jpf.util

Interface Transformer<T1,T2>

public interface Transformer<T1,T2>

transforms between two types a utility interface that esp. can be used for generic containers

Method Summary

Methods

Modifier and Type	Method and Description
T2	transform(T1 e)

Method Detail

transform

T2 transform(T1 e)