public static class LazyPropagationMonitor.LazyPropagationData
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.util.Map<AbstractNode,java.lang.Integer> |
fullRecovers |
java.util.Map<AbstractNode,java.lang.Integer> |
maxRecoveryGraphSize |
java.util.Map<AbstractNode,java.lang.Integer> |
partialRecovers |
Constructor and Description |
---|
LazyPropagationData(java.util.Map<AbstractNode,java.lang.Integer> fullRecovers,
java.util.Map<AbstractNode,java.lang.Integer> partialRecovers,
java.util.Map<AbstractNode,java.lang.Integer> maxRecoveryGraphSize) |
public final java.util.Map<AbstractNode,java.lang.Integer> fullRecovers
public final java.util.Map<AbstractNode,java.lang.Integer> maxRecoveryGraphSize
public final java.util.Map<AbstractNode,java.lang.Integer> partialRecovers
public LazyPropagationData(java.util.Map<AbstractNode,java.lang.Integer> fullRecovers, java.util.Map<AbstractNode,java.lang.Integer> partialRecovers, java.util.Map<AbstractNode,java.lang.Integer> maxRecoveryGraphSize)
Copyright © 2009-2019 Aarhus University