JavaScript is disabled on your browser.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev
Next
Frames
No Frames
All Classes
Uses of Class
alice.tuprolog.TheoryManager
Packages that use
TheoryManager
Package
Description
alice.tuprolog
Uses of
TheoryManager
in
alice.tuprolog
Methods in
alice.tuprolog
that return
TheoryManager
Modifier and Type
Method and Description
TheoryManager
Prolog.
getTheoryManager
()
Gets the component managing theory
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev
Next
Frames
No Frames
All Classes