Statistics

data class Statistics(data: MutableMap<StatisticKey<*>, Any> = IdentityHashMap(), val children: MutableList<Statistics> = mutableListOf())(source)

Constructors

constructor(data: MutableMap<StatisticKey<*>, Any> = IdentityHashMap(), children: MutableList<Statistics> = mutableListOf())

operator fun get(key: JmlClauseKind): Any

operator fun <T : Any> get(key: StatisticKey<T>): T

operator fun get(key: String): Any?

fun inc(behavior: Behavior)

operator fun set(key: StatisticKey<*>, value: Any)