All Packages  Class Hierarchy  This Package  Previous  Next  Index

Class kraft.TermInString 

java.lang.Object
   |
   +----kraft.TermInString
public class TermInString
extends Object

Variable Index

o arity
o functor
o term

Constructor Index

o TermInString(String)

Method Index

o argument(int)
o is_atom()
o is_compound_term()
o is_empty_list()
o is_list()
o is_string()

Variables

o term 
 public String term
o functor 
 public String functor
o arity 
 public int arity

Constructors

o TermInString 
 public TermInString(String s) throws Exception

Methods

o is_atom 
 public boolean is_atom()
o is_empty_list 
 public boolean is_empty_list()
o is_list 
 public boolean is_list()
o is_string 
 public boolean is_string()
o is_compound_term 
 public boolean is_compound_term()
o argument 
 public String argument(int pos)

All Packages  Class Hierarchy  This Package  Previous  Next  Index