Contextable (API documentation of hlt.language packages)
Date: 2013-01-30

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.