Sosy-Lab Common Library
SoSy-Lab Common is a library of useful utilities.
| Package | Description |
|---|---|
| org.sosy_lab.common |
This package contains general utilities that do not fit anywhere else.
|
| org.sosy_lab.common.annotations |
This package contains several general-purpose annotations.
|
| org.sosy_lab.common.collect |
This package contains additional interfaces and implementations for collections, as well as
further collection utilities.
|
| org.sosy_lab.common.configuration |
Java-Config is a library for injecting configuration options in a decentralized way.
|
| org.sosy_lab.common.configuration.converters |
This package provides the possibility to convert String values into appropriate objects of
certain types.
|
| org.sosy_lab.common.io |
This package contains utilities for I/O.
|
| org.sosy_lab.common.log |
This package provides a logging framework.
|
| org.sosy_lab.common.rationals |
Java-Rationals is a library for working with rationals and extended rationals in Java.
|
| org.sosy_lab.common.time |
This package provides possibilities for measuring elapsed time, and a data class
TimeSpan for storing time spans together with the respective time unit. |