Lines Matching refs:Region
248 private class Region(val content: List[Vertex])
250 def distance(metrics: Metrics, graph: Graph, that: Region): Double =
265 def combine(that: Region): Region = new Region(content ::: that.content)
271 def combine_regions(graph: Graph, top_down: Boolean, level: List[Region]): List[Region] =
290 def deflect(level: List[Region], top_down: Boolean, graph: Graph): (Graph, Boolean) =
306 val initial_regions = levels.map(level => level.map(l => new Region(List(l))))
314 ((graph, List.empty[List[Region]], false) /: