alice.tuprolog.clausestore

Class JavaCollectionStoreFactory

java.lang.Object

alice.tuprolog.clausestore.JavaCollectionStoreFactory

All Implemented Interfaces:

ClauseStoreFactory

public class JavaCollectionStoreFactory
extends Object
implements ClauseStoreFactory

Constructor Summary

Constructors

Constructor and Description
JavaCollectionStoreFactory()

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

JavaCollectionStoreFactory

public JavaCollectionStoreFactory()

Method Detail

buildClause

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

Specified by:

buildClause in interface ClauseStoreFactory