Module

Perspectives.Assignment.DependencyTracking

#cacheActionInstanceDependencies

cacheActionInstanceDependencies :: ActionInstance -> Array Assumption -> MP Unit

Creates reciprocal entries in the ActionAssumptionCache and the ActionInstanceCache. When the same ActionInstance is cached again but with different Assumptions, both caches are updated correspondingly.

#retrieveActionInstanceSupports

retrieveActionInstanceSupports :: ActionInstance -> MP (Maybe (Array Assumption))

Retrieve the assumptions that underly the application of an Action to a ContextInstance.

#retrieveAssumptionActionInstances

retrieveAssumptionActionInstances :: Assumption -> MP (Maybe (Array ActionInstance))

Retrieve the ActionInstances that depend an an Assumption.

#removeContextInstanceDependencies

removeContextInstanceDependencies :: ContextInstance -> MP Unit

Given just a ContextInstance, find all Assumptions that reference an ActionInstance with that ContextInstance and remove those ActionInstances.

#actionInstancesDependingOn

actionInstancesDependingOn :: Array Assumption -> MP (Array ActionInstance)

Given an array of assumptions, find all ActionInstances that depend on at least one of them.

#actionTypesForContextInstance

Modules