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.