Quote: a plan is a set of assignments with indices; e.g., true/false indices and a boolean indexer

Note

Define a plan as a structure whose elements are assignments (or compositions of assignments). For example, the plan 'plan 1- x:=11 2- y:=12 3- z:=13' has indices 1,2 and 3, and elements respectively x:=11, y:=12 and z:=13. [if..then..else is plan with indices true and false and index reference the boolean expression]

Related Topics

Topic: conditional control by guards (17 items)