jdrew.oo.builtins
Class ContainsBuiltin

java.lang.Object
  jdrew.oo.builtins.ContainsBuiltin

All Implemented Interfaces:

Builtin

public class ContainsBuiltin
extends java.lang.Object
implements Builtin

Implements a Contains built-in relation. Calling format contains(?input1, input2) Satisfied iff the first argument contains the second argument (case sensitive).

Title: OO jDREW

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

Copyright: Copyright (c) 2005

Version:

0.89

Author:

Marcel A. Ball

Constructor Summary

ContainsBuiltin()

Method Summary

DefiniteClause	buildResult(Term t)
int	getSymbol()

Methods inherited from class java.lang.Object

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

Constructor Detail

ContainsBuiltin

public ContainsBuiltin()

Method Detail

buildResult

public DefiniteClause buildResult(Term t)

Specified by:

buildResult in interface Builtin

getSymbol

public int getSymbol()

Specified by:

getSymbol in interface Builtin