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

NameProvider

class NameProvider
Content copied to clipboard

Constructors

Link copied to clipboard
fun NameProvider()
Content copied to clipboard

Functions

Link copied to clipboard
fun mirroredElement(assignedName: String): ReferencedElement?
Content copied to clipboard
Link copied to clipboard
fun recordNewName(prefix: String, mirroredElement: ReferencedElement?): String
Content copied to clipboard