@Deprecated public class JavaLibrary extends Library
Constructor and Description |
---|
JavaLibrary()
Deprecated.
|
dismiss, evalExpression, getEngine, getName, getPrimitives, getSynonymMap, getTheory, getTheory, match, onSolveBegin, onSolveEnd, onSolveHalt, setEngine, unify