org::sat4j::minisat::core::IPhaseSelectionStrategy Interface Reference
List of all members.
The responsibility of that class is to choose the phase (positive or negative) of the variable that was selected by the IOrder.
Definition at line 40 of file IPhaseSelectionStrategy.java.
The documentation for this interface was generated from the following file: