alice.tuprolog.clausestore

Class FactClauseInfo

java.lang.Object

alice.tuprolog.clausestore.FactClauseInfo

All Implemented Interfaces:

ClauseInfo

Direct Known Subclasses:

HGAtomClauseInfo

public class FactClauseInfo
extends Object
implements ClauseInfo

Field Summary

Fields

Modifier and Type	Field and Description
protected Struct	clause

Constructor Summary

Constructors

Constructor and Description
FactClauseInfo(Struct clause)

Method Summary

Methods

Modifier and Type	Method and Description
SubGoalTree	getBody()
SubGoalTree	getBodyCopy()
Struct	getClause()
Struct	getHead()
Struct	getHeadCopy()
String	getLibName() building a valid clause with a time stamp = original time stamp + NumVar in clause
void	performCopy(int idExecCtx)

Methods inherited from class java.lang.Object

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

Field Detail

clause

protected Struct clause

Constructor Detail

FactClauseInfo

public FactClauseInfo(Struct clause)

Method Detail

getClause

public Struct getClause()

Specified by:

getClause in interface ClauseInfo

getBody

public SubGoalTree getBody()

Specified by:

getBody in interface ClauseInfo

getBodyCopy

public SubGoalTree getBodyCopy()

Specified by:

getBodyCopy in interface ClauseInfo

getHead

public Struct getHead()

Specified by:

getHead in interface ClauseInfo

getHeadCopy

public Struct getHeadCopy()

Specified by:

getHeadCopy in interface ClauseInfo

getLibName

public String getLibName()

Description copied from interface: ClauseInfo

building a valid clause with a time stamp = original time stamp + NumVar in clause

Specified by:

getLibName in interface ClauseInfo

performCopy

public void performCopy(int idExecCtx)

Specified by:

performCopy in interface ClauseInfo