@CheckReturnValue @ParametersAreNonnullByDefault @FieldsAreNonnullByDefault @ReturnValuesAreNonnullByDefault

Package org.sosy_lab.java_smt.utils

Utility classes implementing algorithms based on the API of JavaSMT.

Class Summary

Class	Description
PrettyPrinter
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

Enum Summary

Enum	Description
PrettyPrinter.PrinterOption