Package arrow.
Types
Link copied to clipboard
data class SolverState( baseDirectory: String, outputFileCreator: (String) -> Writer, val names: NameProvider = NameProvider(), val solver: Solver = Solver(names), val prover: ProverEnvironment = solver.newProverEnvironment(
SolverContext.ProverOptions.GENERATE_MODELS,
SolverContext.ProverOptions.GENERATE_UNSAT_CORE
), val callableConstraints: MutableMap<FqName, MutableList<DeclarationConstraints>> = mutableMapOf(), val solverTrace: MutableList<String> = mutableListOf(), val fieldProvider: FieldProvider = FieldProvider(solver, prover), reportedErrors: MutableSet<ReportedError> = mutableSetOf())
Content copied to clipboard