public interface FunctionalTermTable
Modifier and Type | Method and Description |
---|---|
String |
add(FunctionalTermParamNode term)
Adds a functional term in the table
|
void |
load(Reader r)
Loads functional terms from a given reader
|
void |
load(String file)
Loads functional terms from a given file
|
String add(FunctionalTermParamNode term)
term
- the term to addvoid load(Reader r) throws IOException
r
- the reader where to read the functional termsIOException
void load(String file)
void load(String file)
file
- the name of the file where to read the terms