alice.tuprolog.clausestore

Class JavaMapStoreFactory

java.lang.Object

alice.tuprolog.clausestore.JavaMapStoreFactory

All Implemented Interfaces:

ClauseStoreFactory

public class JavaMapStoreFactory
extends Object
implements ClauseStoreFactory

Constructor Summary

Constructors

Constructor and Description
JavaMapStoreFactory()

Method Summary

Methods

Modifier and Type	Method and Description
ClauseStore	buildClause(Prolog prolog, Term goal, List<?> varList)

Methods inherited from class java.lang.Object

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

Constructor Detail

JavaMapStoreFactory

public JavaMapStoreFactory()

Method Detail

buildClause

public ClauseStore buildClause(Prolog prolog,
                      Term goal,
                      List<?> varList)

Specified by:

buildClause in interface ClauseStoreFactory