Home Manual Reference Source

Variable

Static Public Summary
public

Measures: {"COUNTER": *, "MAX": *, "KEY": *, "KEY_LEN": *, "INTERVAL": *, "PRIO": *, "SIZE": *, "LEN": *}

public

Monoids: {"INTEGER_ADD": *, "INTEGER_MUL": *, "INTEGER_MAX": *, "KEY": *, "KEY_MAX": *, "KEY_ADD": *}

public

NoKey: {}

Static Public

public Measures: {"COUNTER": *, "MAX": *, "KEY": *, "KEY_LEN": *, "INTERVAL": *, "PRIO": *, "SIZE": *, "LEN": *} source

public Monoids: {"INTEGER_ADD": *, "INTEGER_MUL": *, "INTEGER_MAX": *, "KEY": *, "KEY_MAX": *, "KEY_ADD": *} source