Divine v144 Source Corpus
8.2 Demand variable
Let d_X(T,t) equal 1 when task T at time t requires monitored structure X to be active, and 0 when the task does not require it.
d_X(T,t) in {0,1}
Source Canon: Preserved verbatim text. Interactive cross-references and cranial annotations available at /#divine-section:169.