Type Alias oxidd_parser::VarOrder

pub type VarOrder = Vec<(Var, String)>;

Variable order including variable names

An entry (1337, "Foo") at index 42 means that the variable with number 1337 in the problem should be placed at index 42.

Aliased Type

struct VarOrder { /* private fields */ }