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.