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

export encoding <encoding_identifier> to var <variable_identifier> internal relation <relation_identifier> membership relation <relation_identifier>

Exposes the encodings of a relation to a variable internal relation, and membership relation so that the encoding may be used in other parts of the program. The internal relation names the edges given by the encoded graphs that make up the encoding. The membership relation names the relationship between the variable and the alphabet enum type.