All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class jkp.KifFunTerm 

java.lang.Object
   |
   +----jkp.KifObj
           |
           +----jkp.KifTerm
                   |
                   +----jkp.KifFunTerm
public class KifFunTerm
extends KifTerm
The class for KIF functional term

Copyright (c) 1996, Xiaocheng Luan. All rights reserved.

Author:
Xiaocheng Luan

Variable Index

o _termSeq

Constructor Index

o KifFunTerm(String)
Create a KifFunTerm object with given functional term in string format.
o KifFunTerm(String, KifSeq)
Create a KifFunTerm object from given function name and argumentst.

Method Index

o funconst()
Get the the function name (constant) in string format.
o termSeq()
Get the sequence of arguments of this funcitonal term.
o toString()
Convert this functional term into string format.

Variables

o _termSeq 
 private KifSeq _termSeq

Constructors

o KifFunTerm 
 public KifFunTerm(String termString)
Create a KifFunTerm object with given functional term in string format.

Parameters:
termString - the functional term in string format.
o KifFunTerm 
 public KifFunTerm(String funconst,
                   KifSeq termSeq)
Create a KifFunTerm object from given function name and argumentst.

Parameters:
funconst - the function name (funtion constant).
termSeq - the argument sequence of this functional term.

Methods

o funconst 
 public String funconst()
Get the the function name (constant) in string format.

Returns:
the functional constant, that is the function name.
o termSeq 
 public KifSeq termSeq()
Get the sequence of arguments of this funcitonal term.

Returns:
the term sequence(arguments) of this functional term.
o toString 
 public String toString()
Convert this functional term into string format.

Returns:
the functional term in string format.
Overrides:
toString in class KifTerm 
All Packages  Class Hierarchy  This Package  Previous  Next  Index