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

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