hlt.osf.exec

Interface Contextable

All Known Implementing Classes:

AndSortExpression, BinarySortExpression, ButnotSortExpression, DisjunctiveSortExpression, NotSortExpression, OrSortExpression, OsfExpression, PsiTerm, SortExpression, SymbolSortExpression, Taxonomy

public interface Contextable

This an interface implemented by classes that need a context of sort ordering.

Method Summary

Methods

Modifier and Type	Method and Description
Context	context() Returns the sort ordering context of this object.
Contextable	setContext(Context context) Sets the sort ordering context of this object to the specified context.

Method Detail

context

Context context()

Returns the sort ordering context of this object.

setContext

Contextable setContext(Context context)

Sets the sort ordering context of this object to the specified context.