alice.tuprolog.clausestore

Class HyperGraphClauseStore

java.lang.Object

alice.tuprolog.clausestore.HyperGraphClauseStore

All Implemented Interfaces:

ClauseStore

public class HyperGraphClauseStore
extends Object
implements ClauseStore

Constructor Summary

Constructors

Constructor and Description
HyperGraphClauseStore(Prolog engine, org.hypergraphdb.HyperGraph graph, String predicateName, int arity, org.hypergraphdb.HGSearchResult<?> rs)

Method Summary

Methods

Modifier and Type	Method and Description
void	close() Clause the store and free any external resources or caches associated with it.
ClauseInfo	fetch() Get the next clause compatible with the current goal.
int	getArity()
org.hypergraphdb.HyperGraph	getGraph()
String	getPredicateName()
Prolog	getProlog()
boolean	hasCompatibleClause() Return true if there are more clauses compatible with the current goal, irrespective of local variable bindings.
boolean	haveAlternatives() Return true if there are more clauses available compatible with the current goal and false otherwise.
Term	toTerm(org.hypergraphdb.HGHandle h)

Methods inherited from class java.lang.Object

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

Constructor Detail

HyperGraphClauseStore

public HyperGraphClauseStore(Prolog engine,
                     org.hypergraphdb.HyperGraph graph,
                     String predicateName,
                     int arity,
                     org.hypergraphdb.HGSearchResult<?> rs)

Method Detail

close

public void close()

Description copied from interface: ClauseStore

Clause the store and free any external resources or caches associated with it. This method must be implemented by variants that access external resources such disk or DBMSs.

This being a cleanup method, implementations should try not to throw any exceptions here. It should also be possible to call this method repeatedly on the same instance without failure.

Specified by:

close in interface ClauseStore

getProlog

public Prolog getProlog()

getGraph

public org.hypergraphdb.HyperGraph getGraph()

getPredicateName

public String getPredicateName()

getArity

public int getArity()

fetch

public ClauseInfo fetch()

Description copied from interface: ClauseStore

Get the next clause compatible with the current goal. As a side-effect, all variables local to the clause store should be freed and available for unification again.

Specified by:

fetch in interface ClauseStore

hasCompatibleClause

public boolean hasCompatibleClause()

Description copied from interface: ClauseStore

Return true if there are more clauses compatible with the current goal, irrespective of local variable bindings.

Specified by:

hasCompatibleClause in interface ClauseStore

haveAlternatives

public boolean haveAlternatives()

Description copied from interface: ClauseStore

Return true if there are more clauses available compatible with the current goal and false otherwise. A first call to this method is equivalent to a call to hasCompatibleClause (since no variables would have been bound as yet).

Specified by:

haveAlternatives in interface ClauseStore

toTerm

public Term toTerm(org.hypergraphdb.HGHandle h)