alice.tuprolog

Class DefaultClauseInfo

java.lang.Object

alice.tuprolog.DefaultClauseInfo

All Implemented Interfaces:

ClauseInfo

public class DefaultClauseInfo
extends Object
implements ClauseInfo

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) Perform copy for use in current engine's demonstration
String	toString() Gets the string representation with default operator representation
static String	toString(Struct clause, alice.tuprolog.OperatorManager op) Gets the string representation recognizing operators stored by the operator manager

Methods inherited from class java.lang.Object

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

Method Detail

getClause

public Struct getClause()

Specified by:

getClause in interface ClauseInfo

getHead

public Struct getHead()

Specified by:

getHead in interface ClauseInfo

getBody

public SubGoalTree getBody()

Specified by:

getBody in interface ClauseInfo

getHeadCopy

public Struct getHeadCopy()

Specified by:

getHeadCopy in interface ClauseInfo

getBodyCopy

public SubGoalTree getBodyCopy()

Specified by:

getBodyCopy 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

toString

public static String toString(Struct clause,
              alice.tuprolog.OperatorManager op)

Gets the string representation recognizing operators stored by the operator manager

performCopy

public void performCopy(int idExecCtx)

Perform copy for use in current engine's demonstration

Specified by:

performCopy in interface ClauseInfo

Parameters:

idExecCtx - Current ExecutionContext id

toString

public String toString()

Gets the string representation with default operator representation

Overrides:

toString in class Object