Method activateControlledTriggers

inference/engine.go:474–480

activateControlledTriggers checks if the site has proper value and activates all the triggers controlled by the site `site` if so. This method should be called whenever a site is determined to be a new value.

(site primitiveSite, siteExplained ExplainedBool)

// controlled by the site `site` if so. This method should be called whenever a site is determined
// to be a new value.
func (e *Engine) activateControlledTriggers(site primitiveSite, siteExplained ExplainedBool) {
	if controlledTgs, ok := e.controlledTriggersBySite[site]; ok && siteExplained.Val() {
		for tg := range controlledTgs {
			e.buildFromSingleFullTrigger(tg)
		}
	}
}

// observeImplication augments the inferred map with a new implication discovered as
// the result of an assertion. In particular, we note that all assertions discovered as FullTriggers