Uses of Class
alice.tuprolog.Theory

Packages that use Theory

Package	Description
alice.tuprolog
alice.tuprolog.event
alice.tuprolog.lib
alice.tuprologx.ide
alice.tuprologx.runtime.rmi
alice.tuprologx.runtime.tcp

Uses of Theory in alice.tuprolog

Methods in alice.tuprolog that return Theory

Modifier and Type	Method and Description
Theory	Prolog.getLastConsultedTheory() Gets last consulted theory, with the original textual format
Theory	Theory.getParsed(Prolog engine) Convert the theory from textual to a parsed form.
Theory	Prolog.getTheory() Gets current theory

Methods in alice.tuprolog with parameters of type Theory

Modifier and Type	Method and Description
void	Prolog.addTheory(Theory th) Adds (appends) a theory
void	Theory.append(Theory th) Adds (appends) a theory to this.
void	TheoryManager.consult(Theory theory, boolean dynamicTheory, String libName) Consults a theory.
void	Prolog.setTheory(Theory th) Sets a new theory

Uses of Theory in alice.tuprolog.event

Methods in alice.tuprolog.event that return Theory

Modifier and Type	Method and Description
Theory	TheoryEvent.getNewTheory() Gets the new theory
Theory	TheoryEvent.getOldTheory() Gets the old theory

Constructors in alice.tuprolog.event with parameters of type Theory

Constructor and Description
TheoryEvent(Prolog source, Theory oldth, Theory newth)

Uses of Theory in alice.tuprolog.lib

Constructors in alice.tuprolog.lib with parameters of type Theory

Constructor and Description
TheoryLibrary(String name, Theory theory)

Uses of Theory in alice.tuprologx.ide

Methods in alice.tuprologx.ide that return Theory

Modifier and Type	Method and Description
Theory	JavaIOManager.loadTheory()
Theory	DotNetIOManager.loadTheory()

Uses of Theory in alice.tuprologx.runtime.rmi

Methods in alice.tuprologx.runtime.rmi that return Theory

Modifier and Type	Method and Description
Theory	PrologImpl.getTheory()
Theory	Prolog.getTheory()

Methods in alice.tuprologx.runtime.rmi with parameters of type Theory

Modifier and Type	Method and Description
void	PrologImpl.addTheory(Theory theory)
void	Prolog.addTheory(Theory theory)
void	PrologImpl.setTheory(Theory theory)
void	Prolog.setTheory(Theory theory)

Uses of Theory in alice.tuprologx.runtime.tcp

Methods in alice.tuprologx.runtime.tcp that return Theory

Modifier and Type	Method and Description
Theory	Proxy.getTheory()
Theory	Prolog.getTheory()

Methods in alice.tuprologx.runtime.tcp with parameters of type Theory

Modifier and Type	Method and Description
void	Proxy.addTheory(Theory th)
void	Prolog.addTheory(Theory theory)
void	Proxy.setTheory(Theory th)
void	Prolog.setTheory(Theory theory)