Ti stai chiedendo se c'è qualcosa di simile all'associazione dati ma per valori / trigger booleani. Sembra che potrebbe essere correlato a Diagrammi decisionali binari (BDD), ma sono precalcolati piuttosto che dinamici, credo.
Supponiamo di avere 100 o 1000 variabili booleane tutte correlate tra loro in un grafico. E uno di loro cambia. La cosa più semplice è quindi ricalcolare tutti i 1000 valori. Ma potrebbe essere più ottimale seguire invece la traccia dal nodo modificato alle cose che dipendono da esso. Ma di nuovo potrebbe portare a un lungo inseguimento in cui devi evitare di riaggiornare lo stesso booleano più di una volta, così potresti finire con più di 1000 operazioni.
Chiedersi se c'è qualcosa fatto su questo argomento. Come aggiornare in modo ottimale i valori booleani che dipendono l'uno dall'altro in un grafico complesso.