dk.brics.tajs.monitoring.inspector.datacollection.monitors

Class LazyPropagationMonitor.LazyPropagationData

java.lang.Object

dk.brics.tajs.monitoring.inspector.datacollection.monitors.LazyPropagationMonitor.LazyPropagationData

Enclosing class:

LazyPropagationMonitor

public static class LazyPropagationMonitor.LazyPropagationData
extends java.lang.Object

Field Summary

Fields

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 Summary

Constructors

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)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

fullRecovers

public final java.util.Map<AbstractNode,java.lang.Integer> fullRecovers

maxRecoveryGraphSize

public final java.util.Map<AbstractNode,java.lang.Integer> maxRecoveryGraphSize

partialRecovers

public final java.util.Map<AbstractNode,java.lang.Integer> partialRecovers

Constructor Detail

LazyPropagationData

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)