kodkod.engine.satlab
Interface OrderableSolver

All Known Implementing Classes:

MiniSat

public interface OrderableSolver

Solvers that implement methods to influence their variable ordering

Author:

Markus Iser

Method Summary

void	initializeOrder(int var, double order) Initialize solver-internal variable ordering
void	overrideOrder(int var, int order) Statically override solver-internal variable ordering

Method Detail

initializeOrder

void initializeOrder(int var,
                     double order)

Initialize solver-internal variable ordering

overrideOrder

void overrideOrder(int var,
                   int order)

Statically override solver-internal variable ordering