Syntax definition cupwlks

Description: Extend class notation with walks (of a pseudograph).

	Ref	Expression
Assertion	cupwlks	class UPWalks