stig-engine/com.stigway.engine.diagram/EvidenceComponentStorageStatistics

EvidenceComponentStorageStatistics

data class EvidenceComponentStorageStatistics(val leakFacts: Long, val stateOccurrences: Long, val offeredFactKeys: Long, val offeredStateKeys: Long, val offeredSegmentPayloadKeys: Long, val offeredSuccessorListKeys: Long, val offeredSegmentInstances: Long, val offeredEdges: Long, val offeredRootReferences: Long, val offeredTerminalReferences: Long, val offeredSourceBoundaries: Long, val canonicalTopologyKeyBytes: Long, val newFacts: Long, val newStates: Long, val newSegmentPayloads: Long, val newSuccessorLists: Long, val newTopologyShapes: Long, val newTopologyTemplates: Long)

One positive (solver execution, physical sink) evidence cell.

Constructors

constructor(leakFacts: Long, stateOccurrences: Long, offeredFactKeys: Long, offeredStateKeys: Long, offeredSegmentPayloadKeys: Long, offeredSuccessorListKeys: Long, offeredSegmentInstances: Long, offeredEdges: Long, offeredRootReferences: Long, offeredTerminalReferences: Long, offeredSourceBoundaries: Long, canonicalTopologyKeyBytes: Long, newFacts: Long, newStates: Long, newSegmentPayloads: Long, newSuccessorLists: Long, newTopologyShapes: Long, newTopologyTemplates: Long)