org.jpc.query

Class SolutionToTermFunction

java.lang.Object

org.jpc.query.SolutionToTermFunction

All Implemented Interfaces:

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

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

Constructor Summary

Constructors

Constructor and Description
SolutionToTermFunction(Term term)

Method Summary

Modifier and Type	Method and Description
Term	apply(Solution solution)

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

SolutionToTermFunction

public SolutionToTermFunction(Term term)

Method Detail

apply

public Term apply(Solution solution)

Specified by:

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