exclude (!)

The exclude operator ! is a path operator that is used to specify a particular node or path to be excluded during the search.

The syntax of ! is as follows:

    ! node/(path)

The exclude operator can be applied on both a node or path. When it applies to a path, parentheses must be used.

    !S1->S2->S3

The above path condition is not valid in Cyclone, and parentheses are needed. If you don't want a path to include S1->S2, just simply use !(S1->S2).

Path operator ! can only be used in goal section.

A path or node specified using ! is excluded by Cyclone in a path to be discovered.

    !S6 && !(S1->S2->S3)

< Back