uk.ac.manchester.cs.jfact.kernel

Class ExpressionManager.IndividualNameCreator

java.lang.Object

uk.ac.manchester.cs.jfact.kernel.ExpressionManager.IndividualNameCreator

All Implemented Interfaces:

NameCreator<IndividualName>

Enclosing class:

ExpressionManager

protected static class ExpressionManager.IndividualNameCreator
extends Object
implements NameCreator<IndividualName>

Constructor Summary

Constructors

Modifier	Constructor and Description
protected	ExpressionManager.IndividualNameCreator()

Method Summary

Methods

Modifier and Type	Method and Description
IndividualName	makeEntry(String name) create new Named Entry

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ExpressionManager.IndividualNameCreator

protected ExpressionManager.IndividualNameCreator()

Method Detail

makeEntry

public IndividualName makeEntry(String name)

Description copied from interface: NameCreator

create new Named Entry

Specified by:

makeEntry in interface NameCreator<IndividualName>