de.uka.ilkd.key.logic

Interface TermServices

All Known Implementing Classes:

Services

public interface TermServices

This interface defines the basic functionalities of services required to construct Terms.

Author:

Richard Bubel

Method Summary

Modifier and Type	Method and Description
NamespaceSet	getNamespaces() returns the namespaces for functions, predicates etc.
TermBuilder	getTermBuilder() Returns the TermBuilder used to create Terms.
TermFactory	getTermFactory() Returns the TermBuilder used to create Terms.

Method Detail

getNamespaces

NamespaceSet getNamespaces()

returns the namespaces for functions, predicates etc.

Returns:

the proof specific namespaces

getTermBuilder

TermBuilder getTermBuilder()

Returns the TermBuilder used to create Terms.

Returns:

The TermBuilder used to create Terms.

getTermFactory

TermFactory getTermFactory()

Returns the TermBuilder used to create Terms.

Returns:

The TermBuilder used to create Terms.