Syntax definition cwwlks

Description: Extend class notation with walks (in a graph) as word over the set of vertices.

	Ref	Expression
Assertion	cwwlks	class WWalks