Package-level declarations

Types

Link copied to clipboard
data class Box(val minX: Int, val minY: Int, val maxX: Int, val maxY: Int)

Data class that denotes a box surrounding an element placed in the page

Link copied to clipboard
class Checker(grid: Grid, data: List<Map<String, String>>, elements: Map<String, (String, String) -> Boolean>)
Link copied to clipboard
typealias Interpretation<T> = Function<Parameters?, Function<T, Boolean>>
Link copied to clipboard
typealias Monitor<V, T, R> = SpatialTemporalMonitoring<V, T, R>
Link copied to clipboard
typealias Snapshot = Map<String, String>
Link copied to clipboard
class TraceBuilder(grid: Grid, data: List<Map<String, String>>)

Builder class that generates a signal based on the data