@CheckReturnValue @ParametersAreNonnullByDefault @FieldsAreNonnullByDefault @ReturnValuesAreNonnullByDefault

Package org.sosy_lab.java_smt.delegating.logging

Wraps the proving environment with loggers.

See: Description

Class Summary

Class	Description
LoggingSolverContext	SolverContext that wraps all prover environments in their logging versions.

Package org.sosy_lab.java_smt.delegating.logging Description

Wraps the proving environment with loggers.