Class | Description |
---|---|
MinimumWidthOrder | Class for supporting minimum width ordering. |
StaticVarOrder | An implementation of a static variable order, that is, the variable ordering equals the ordering given in the cp file. |
Interface | Description |
---|---|
IVariableOrdering | Interface for variable ordering. The algorithm uses the GetNextVar method. |