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

SolverExecution

data class SolverExecution(val id: String, val sourceBatchIndex: Int, val sourceBatchCount: Int, val sinkBatchIndex: Int, val sinkBatchCount: Int, val sourceSymbols: List<String>, val sinkSymbols: List<String>, val explicitEsgNodeCount: Long? = null, val sinkVerdicts: List<SolverSinkVerdict>)

Constructors

SolverExecution

constructor(id: String, sourceBatchIndex: Int, sourceBatchCount: Int, sinkBatchIndex: Int, sinkBatchCount: Int, sourceSymbols: List<String>, sinkSymbols: List<String>, explicitEsgNodeCount: Long? = null, sinkVerdicts: List<SolverSinkVerdict>)

Properties

explicitEsgNodeCount

val explicitEsgNodeCount: Long?

Compatibility field for early schema-v6 artifacts. New producers keep this order-sensitive PhASAR path-node count in runtime logs so it cannot make otherwise identical safety evidence byte-different.

val id: String

sinkBatchCount

val sinkBatchCount: Int

sinkBatchIndex

val sinkBatchIndex: Int

sinkSymbols

val sinkSymbols: List<String>

sinkVerdicts

val sinkVerdicts: List<SolverSinkVerdict>

sourceBatchCount

val sourceBatchCount: Int

sourceBatchIndex

val sourceBatchIndex: Int

sourceSymbols

val sourceSymbols: List<String>