jdrew.oo.builtins
Class CeilingBuiltin

java.lang.Object
  jdrew.oo.builtins.CeilingBuiltin

All Implemented Interfaces:

Builtin

public class CeilingBuiltin
extends java.lang.Object
implements Builtin

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

Title: OO jDREW

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

Copyright: Copyright (c) 2005

Constructor Summary

CeilingBuiltin()

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

CeilingBuiltin

public CeilingBuiltin()

Method Detail

buildResult

public DefiniteClause buildResult(Term t)

Specified by:

buildResult in interface Builtin

getSymbol

public int getSymbol()

Specified by:

getSymbol in interface Builtin