alice.tuprolog

Interface ClauseInfo

All Known Implementing Classes:

CollectionItemClause, DefaultClauseInfo, FactClauseInfo, HGAtomClauseInfo

public interface ClauseInfo

This class mantains information about a clause creation (clause copy, final time T after renaming, validity stillValid Flag). These information are necessary to the Theory Manager to use the clause in a consistent way

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)

Method Detail

getLibName

String getLibName()

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

getClause

Struct getClause()

getHead

Struct getHead()

getBody

SubGoalTree getBody()

getHeadCopy

Struct getHeadCopy()

getBodyCopy

SubGoalTree getBodyCopy()

performCopy

void performCopy(int idExecCtx)