jdrew.oo.td.builtins
Class RegisterBuiltin

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

public class RegisterBuiltin

extends TDBuiltin

Title: OO jDREW

Description: Reasoning Engine for the Semantic Web - Supporting OO RuleML 0.88

Copyright: Copyright (c) 2005

Constructor Summary

RegisterBuiltin(BackwardReasoner br, java.lang.String symbol)

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

RegisterBuiltin

public RegisterBuiltin(BackwardReasoner br,
                       java.lang.String symbol)

Method Detail

getSymbol

public int getSymbol()

Overrides:

getSymbol in class TDBuiltin

Returns:

int

buildResult

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

Overrides:

buildResult in class TDBuiltin

Parameters:

gl - GoalList

term - int

Returns:

DefiniteClause