uk.ac.manchester.cs.jfact.kernel

Interface NameCreator<T,K>

Type Parameters:

T - type

K - key

@PortedFrom(file="tNameSet.h",
            name="TNameCreator")
public interface NameCreator<T,K>

name creator

Method Summary

Methods

Modifier and Type	Method and Description
T	makeEntry(K name)

Method Detail

makeEntry

@PortedFrom(file="tNameSet.h",
            name="makeEntry")
@Nonnull
T makeEntry(K name)

Parameters:

name - name

Returns:

new Named Entry