public class PredefinedTeXFormulaParser
extends java.lang.Object
Modifier and Type | Field | Description |
---|---|---|
static java.lang.String |
RESOURCE_NAME |
Constructor | Description |
---|---|
PredefinedTeXFormulaParser(java.io.InputStream file,
java.lang.String type) |
|
PredefinedTeXFormulaParser(java.lang.String PredefFile,
java.lang.String type) |
Modifier and Type | Method | Description |
---|---|---|
void |
parse(java.util.Map predefinedTeXFormulas) |
public static final java.lang.String RESOURCE_NAME
public PredefinedTeXFormulaParser(java.io.InputStream file, java.lang.String type) throws ResourceParseException
ResourceParseException
public PredefinedTeXFormulaParser(java.lang.String PredefFile, java.lang.String type) throws ResourceParseException
ResourceParseException