Uses of Class
alice.tuprolog.Theory

Packages that use Theory

alice.tuprolog

Uses of Theory in alice.tuprolog

Methods in alice.tuprolog that return Theory

Theory	TheoryEvent.getOldTheory() Gets the old theory
Theory	TheoryEvent.getNewTheory() Gets the new theory
Theory	Prolog.getTheory() Gets current theory
Theory	Prolog.getLastConsultedTheory() Gets last consulted theory, with the original textual format

Methods in alice.tuprolog with parameters of type Theory

void	Theory.append(Theory th) Adds (appends) a theory to this.
void	Prolog.setTheory(Theory th) Sets a new theory
void	Prolog.addTheory(Theory th) Adds (appends) a theory

Constructors in alice.tuprolog with parameters of type Theory

TheoryEvent(Prolog source, Theory oldth, Theory newth)