jdrew.oo.td.builtins
Class TDBuiltin

java.lang.Object
  jdrew.oo.td.builtins.TDBuiltin

Direct Known Subclasses:

AssertBuiltin, RegisterBuiltin

public class TDBuiltin
extends java.lang.Object

Constructor Summary

TDBuiltin()

TDBuiltin(Builtin b)

Method Summary

DefiniteClause	buildResult(BackwardReasoner.GoalList gl, int term)
int	getSymbol()

Methods inherited from class java.lang.Object

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

Constructor Detail

TDBuiltin

public TDBuiltin()

TDBuiltin

public TDBuiltin(Builtin b)

Parameters:

b - Builtin

Method Detail

getSymbol

public int getSymbol()

Returns:

int

buildResult

public DefiniteClause buildResult(BackwardReasoner.GoalList gl,
                                  int term)

Parameters:

gl - GoalList

term - int

Returns:

DefiniteClause