eta.util

Utilities that Eta relies on.

eta.util.buffer

Utilities for manipulating priority queues, termed "buffers" in Eta's architecture.

eta.util.file

Utilities for reading from and writing to external files.

eta.util.general

Generic utility functions for various basic data types.

eta.util.sexpr

Utilities for handling S-expression lists.

eta.util.time

Utilities for recording and modifying times.

eta.util.tt

Utilities for tree transduction and choice trees.

eta.util.ulf

Utilities for manipulating Unscoped Logical Form (ULF) formulas.