arrow-analysis-common/arrow.meta.plugins.analysis.phases.analysis.solver.state

Package arrow.meta.plugins.analysis.phases.analysis.solver.state

Types

Link copied to clipboard
data class SolverState(baseDirectory: String, outputFileCreator: (String) -> Writer, names: NameProvider, solver: Solver, prover: ProverEnvironment, callableConstraints: MutableMap<FqName, MutableList<DeclarationConstraints>>, solverTrace: MutableList<String>, fieldProvider: FieldProvider, reportedErrors: MutableSet<ReportedError>)
Content copied to clipboard

Properties

Link copied to clipboard
val FqName.asField: String
Content copied to clipboard