public static class PropagationMonitor.PropagationData
extends java.lang.Object
Constructor and Description |
---|
PropagationData(java.util.Map<BlockAndContext<Context>,java.util.Set<BlockAndContext<Context>>> forwardsGraph,
java.util.Map<BlockAndContext<Context>,java.util.Set<BlockAndContext<Context>>> backwardsGraph,
java.util.Map<BlockAndContext<Context>,PropagationMonitor.PropagationNumbers> numbers) |
Modifier and Type | Method and Description |
---|---|
java.util.Map<BlockAndContext<Context>,java.util.Set<BlockAndContext<Context>>> |
getBackwardsGraph() |
java.util.Map<BlockAndContext<Context>,java.util.Set<BlockAndContext<Context>>> |
getForwardsGraph() |
java.util.Map<BlockAndContext<Context>,PropagationMonitor.PropagationNumbers> |
getNumbers() |
public PropagationData(java.util.Map<BlockAndContext<Context>,java.util.Set<BlockAndContext<Context>>> forwardsGraph, java.util.Map<BlockAndContext<Context>,java.util.Set<BlockAndContext<Context>>> backwardsGraph, java.util.Map<BlockAndContext<Context>,PropagationMonitor.PropagationNumbers> numbers)
public java.util.Map<BlockAndContext<Context>,java.util.Set<BlockAndContext<Context>>> getBackwardsGraph()
public java.util.Map<BlockAndContext<Context>,java.util.Set<BlockAndContext<Context>>> getForwardsGraph()
public java.util.Map<BlockAndContext<Context>,PropagationMonitor.PropagationNumbers> getNumbers()
Copyright © 2009-2019 Aarhus University