org.jpc.engine.embedded.database

Class FunctorIndexFunction

java.lang.Object

org.jpc.engine.embedded.database.FunctorIndexFunction

All Implemented Interfaces:

com.google.common.base.Function<Term,Object>

public class FunctorIndexFunction
extends Object
implements com.google.common.base.Function<Term,Object>

Index function mapping a term to its functor name.

Author:

sergioc

Constructor Summary

Constructors

Constructor and Description
FunctorIndexFunction()

Method Summary

Modifier and Type	Method and Description
Object	apply(Term term)

Methods inherited from class java.lang.Object

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

Methods inherited from interface com.google.common.base.Function

equals

Constructor Detail

FunctorIndexFunction

public FunctorIndexFunction()

Method Detail

apply

public Object apply(Term term)

Specified by:

apply in interface com.google.common.base.Function<Term,Object>