Casper Class Library

IVariableOrdering Interface

Interface for variable ordering. The algorithm uses the GetNextVar method.

For a list of all members of this type, see IVariableOrdering Members.

public interface IVariableOrdering

Types that implement IVariableOrdering

Type 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.

Requirements

Namespace: Casper.Algorithm.VariableOrdering

Assembly: Casper (in Casper.dll)

See Also

IVariableOrdering Members | Casper.Algorithm.VariableOrdering Namespace