All Packages

Package Summary

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.