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

Companion
Link copied to clipboard
object Companion
Content copied to clipboard

Functions

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