@Deprecated public class JavaLibrary extends OOLibrary
Constructor and Description |
---|
JavaLibrary()
Deprecated.
|
bindDynamicObject, destroy_object_1, dismiss, dismissAll, generateFreshId, get_classpath_1, getRegisteredDynamicObject, getRegisteredObject, getTheory, java_array_get_primitive_3, java_array_set_primitive_3, java_call_3, java_class_4, java_object_3, new_class_4, new_lambda_3, new_object_3, onSolveBegin, onSolveEnd, preregisterObjects, register_1, register, register, registerDynamic, registerDynamic, set_classpath_1, unregister_1, unregister, unregisterDynamic
evalExpression, getEngine, getName, getPrimitives, getSynonymMap, getTheory, match, onSolveHalt, setEngine, unify