jdrew.oo.builtins
Class FloorBuiltin

java.lang.Object
  jdrew.oo.builtins.FloorBuiltin

All Implemented Interfaces:

Builtin

public class FloorBuiltin
extends java.lang.Object
implements Builtin

Implements a Floor built-in relation. The call format is floor(?result, input:Real).

Title: OO jDREW

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

Copyright: Copyright (c) 2005

Constructor Summary

FloorBuiltin()

Method Summary

DefiniteClause	buildResult(Term t)
int	getSymbol()

Methods inherited from class java.lang.Object

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

Constructor Detail

FloorBuiltin

public FloorBuiltin()

Method Detail

buildResult

public DefiniteClause buildResult(Term t)

Specified by:

buildResult in interface Builtin

getSymbol

public int getSymbol()

Specified by:

getSymbol in interface Builtin