alice.tuprolog.clausestore

Class HGAtomClauseInfo

java.lang.Object

alice.tuprolog.clausestore.FactClauseInfo

alice.tuprolog.clausestore.HGAtomClauseInfo

All Implemented Interfaces:

ClauseInfo

public class HGAtomClauseInfo
extends FactClauseInfo

Field Summary

Fields inherited from class alice.tuprolog.clausestore.FactClauseInfo

clause

Constructor Summary

Constructors

Constructor and Description
HGAtomClauseInfo(HyperGraphClauseStore store, org.hypergraphdb.HGLink atom)

Method Summary

Methods

Modifier and Type	Method and Description
Struct	getClause()

Methods inherited from class alice.tuprolog.clausestore.FactClauseInfo

getBody, getBodyCopy, getHead, getHeadCopy, getLibName, performCopy

Methods inherited from class java.lang.Object

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

Constructor Detail

HGAtomClauseInfo

public HGAtomClauseInfo(HyperGraphClauseStore store,
                org.hypergraphdb.HGLink atom)

Method Detail

getClause

public Struct getClause()

Specified by:

getClause in interface ClauseInfo

Overrides:

getClause in class FactClauseInfo