Previous Topic

Next Topic

Book Contents

Book Index

Extended Definition Mode

The entity built for verification depends on what screen is being used:

Screen 4 – Conditions/Resources Screen

For prerequisite conditions, use the actions listed in the following table:

Table 14 Prerequisite Condition Actions

Action

Entity

ADD

$$ADDCND.qname.condition‑name

DEL

$$DELCND.qname.condition‑name

For quantitative resources, use the actions listed in the following table:

Table 15 Quantitative Resource Actions

Action

Entity

ADD

$$ADDRES.qname.resource‑name

DEL

$$DELRES.qname.resource‑name

CHANGE

$$CHARES.qname.resource‑name

For control resources, use the actions listed in the following table:

Table 16 Control Resource Actions

Action

Entity

ADD

$$ADDCTL.qname.control‑name

DEL

$$DELCTL.qname.control‑name

Screen 7 – Manual Conditions Screen

Table 17 Manual Condition Actions

Action

Entity

NEW (add)

$$NEWCND.qname.condition‑name

ERASE (delete)

$$ERACND.qname.condition‑name

Parent Topic

Module IOASE07