SolverExecution

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