gov.nasa.jpf.util

Interface ElementCreator<T,E>

public interface ElementCreator<T,E>

create an instance of type E out of a T instance

Method Summary

Methods

Modifier and Type	Method and Description
E	create(T o)

Method Detail

create

E create(T o)