public class Terms
extends java.lang.Object
| Constructor and Description | 
|---|
Terms()  | 
| Modifier and Type | Method and Description | 
|---|---|
static Term | 
flatten(Term term)  | 
static boolean | 
isValidOpNameString(java.lang.String str)  | 
static boolean | 
isValidVarString(java.lang.String str)  | 
static void | 
main(java.lang.String[] args)  | 
static Term | 
stringToTerm(java.lang.String str)  | 
static void | 
testFlatten()  | 
public static Term stringToTerm(java.lang.String str)
public static boolean isValidVarString(java.lang.String str)
public static boolean isValidOpNameString(java.lang.String str)
public static void testFlatten()
public static void main(java.lang.String[] args)
args - Copyright 2003 Ralph Freese. All Rights Reserved.