jdrew.oo.td.builtins
Class AssertBuiltin

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

public class AssertBuiltin
extends TDBuiltin

Title: OO jDREW

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

Copyright: Copyright (c) 2005

Constructor Summary

AssertBuiltin(BackwardReasoner br)

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

AssertBuiltin

public AssertBuiltin(BackwardReasoner br)

Parameters:

br - BackwardReasoner

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