alice.tuprolog.clausestore

Class CollectionItemClause

java.lang.Object

alice.tuprolog.clausestore.CollectionItemClause

All Implemented Interfaces:

ClauseInfo

public class CollectionItemClause
extends Object
implements ClauseInfo

Constructor Summary

Constructors

Constructor and Description
CollectionItemClause(Struct head)

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

Constructor Detail

CollectionItemClause

public CollectionItemClause(Struct head)

Method Detail

getBody

public SubGoalTree getBody()

Specified by:

getBody in interface ClauseInfo

getBodyCopy

public SubGoalTree getBodyCopy()

Specified by:

getBodyCopy in interface ClauseInfo

getClause

public Struct getClause()

Specified by:

getClause 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