Package org.sosy_lab.java_smt.utils

@CheckReturnValue @ParametersAreNonnullByDefault @FieldsAreNonnullByDefault @ReturnValuesAreNonnullByDefault package org.sosy_lab.java_smt.utils

Utility classes implementing algorithms based on the API of JavaSMT.

Related Packages

Package	Description
org.sosy_lab.java_smt	JavaSMT: a generic SMT solver API.
org.sosy_lab.java_smt.api	The core interfaces for abstracting from SMT solvers and providing a common API for all solvers.
org.sosy_lab.java_smt.basicimpl	Abstract base classes for easier implementation of a solver backend.
org.sosy_lab.java_smt.example	Some basic examples for using Java-SMT.
org.sosy_lab.java_smt.test	Solver-independent tests and test utilities for the solver API.

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