Enum Encoding - Zistack/program-modeling-language GitHub Wiki

enum <enum_identifier> encoding <encoding_identifier> with alphabet <enum_identifier> = {
	<enum_value_string> : <encoded_graph>
	...
}

This assigns an encoding to an enum type. Each value of the enum should be mapped to an encoded graph. The second enum identifier specifies the enum to be used as the alphabet for the encoded graph's node declarations.