@CheckReturnValue @ParametersAreNonnullByDefault @FieldsAreNonnullByDefault @ReturnValuesAreNonnullByDefault

Package org.sosy_lab.java_smt.utils

Utility classes implementing algorithms based on the API of JavaSMT.

See: Description

Class Summary

Class	Description
SolverUtils	Central entry point for all utility classes.
UfElimination	UfElimination replaces UFs by fresh variables and adds constraints to enforce the functional consistency.
UfElimination.Result

Package org.sosy_lab.java_smt.utils Description

Utility classes implementing algorithms based on the API of JavaSMT.