arrow-analysis-common/arrow.meta.plugins.analysis.phases.analysis.solver.check.model/LoopPlace

LoopPlace

enum LoopPlace : Enum<LoopPlace>
Content copied to clipboard

Entries

AFTER_LOOP
Link copied to clipboard
AFTER_LOOP()
Content copied to clipboard
INSIDE_LOOP
Link copied to clipboard
INSIDE_LOOP()
Content copied to clipboard

Properties

name
Link copied to clipboard
val name: String
Content copied to clipboard
ordinal
Link copied to clipboard
val ordinal: Int
Content copied to clipboard