|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectjdrew.oo.builtins.TanBuiltin
public class TanBuiltin
Implements a tan (Tangent) built-in relation. The call format is tan(?result, input:Real).
Title: OO jDREW
Description: Reasoning Engine for the Semantic Web - Supporting OO RuleML 0.88
Copyright: Copyright (c) 2005
| Constructor Summary | |
|---|---|
TanBuiltin()
|
|
| 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 |
|---|
public TanBuiltin()
| Method Detail |
|---|
public DefiniteClause buildResult(Term t)
buildResult in interface Builtinpublic int getSymbol()
getSymbol in interface Builtin
|
||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||