The element <variablePostSet> mirrors the element <variablePreSet>. It contains an assertion and assigns a value to a variable after the element <dmNode> or the element <process> has been traversed. For example, a variable postSet could be used on a step to apply power to assert to the state table that power has been applied for future reference by the logic engine. Likewise, a variable postSet could be used on a process to record in the state table the fact that some component has been replaced which can be used downstream in the maintenance flow.