arrow-analysis-common/arrow.meta.plugins.analysis.smt.utils/FieldProvider

FieldProvider

class FieldProvider(    solver: Solver,     prover: ProverEnvironment,     basicFields: MutableMap<String, Long>,     current: Long)
Content copied to clipboard

Constructors

Link copied to clipboard
fun FieldProvider(    solver: Solver,     prover: ProverEnvironment,     basicFields: MutableMap<String, Long>,     current: Long)
Content copied to clipboard

Types

Link copied to clipboard
object Companion
Content copied to clipboard

Functions

Link copied to clipboard
fun introduce(descriptor: DeclarationDescriptor): Long
Content copied to clipboard