The include operator -> is a path operator that is used to specify a particular path to be included during the search.
nodei -> nodej
Both nodei and nodej must be properly declared in the node section.
Path operator -> can be used in both edge and goal section.
A path specified using -> could be a valid or an invalid path. If it is a valid, Cyclone returns a corresponding path. If it is an invalid path, Cyclone reports no path found.
S1->S2->S3
a path must include: S1->S2->S3
@2020-2022 Hao Wu. All rights reserved. Last update: January 29, 2022