GlobalFlowState

data class GlobalFlowState(val id: String, val instructionId: String, val factIndex: Int)

Exact (stable instruction, canonical fact) state stored once per run.

Constructors

Link copied to clipboard
constructor(id: String, instructionId: String, factIndex: Int)

Properties

Link copied to clipboard
Link copied to clipboard
val id: String
Link copied to clipboard
Generated with STIG