public class TheoryLibrary extends Library
Constructor and Description |
---|
TheoryLibrary(java.lang.String name,
Theory theory) |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getName()
Gets the name of the library.
|
java.lang.String |
getTheory()
Gets the theory provided with the library
Empty theory is provided by default.
|
dismiss, evalExpression, getEngine, getPrimitives, getSynonymMap, getTheory, match, onSolveBegin, onSolveEnd, onSolveHalt, setEngine, unify