An advice rule has the following form:

Each advice rule consists of a simple identifier (the advice rule’s name) and a boolean expression. Each advice rule ends with a line break.

When the cost engine evaluates an advice rule, it evaluates the boolean expression. When the conditional expression evaluates to true, the cost engine evaluates the advice construct whose name matches the advice rule’s name (see Advice).

See the following sections for information on each syntactic category mentioned above: