    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

Author:
  Xiaocheng LUAN

##

KifFunTerm(String)
KifFunTerm(String, KifSeq)

##

funconst()
termSeq()
toString()

##

KifFunTerm

      public KifFunTerm(String termString)

KifFunTerm

      public KifFunTerm(String funconst,
                        KifSeq termSeq)

##

funconst

      public String funconst()

Returns:
  Return the functional constant, which is the name.

termSeq

      public KifSeq termSeq()

Returns:
  Return the term sequence(arguments) of this functional term.

toString

      public String toString()

Overrides:
  toString in class KifTerm

    All Packages  Class Hierarchy  This Package  Previous  Next  Index