org.sat4j.minisat.core
Interface Undoable

All Known Implementing Classes:

AtLeast, AtLeastPB, MaxWatchCard, MaxWatchPb, MaxWatchPbLong, MaxWatchPbLongCP, MinWatchCard, MinWatchCardPB, MinWatchPb, MinWatchPbLong, MinWatchPbLongCP, MinWatchPbLongLimit, PuebloMinWatchPb, WatchPb, WatchPbLong, WatchPbLongCP

public interface Undoable

Interface providing the undoable service.

Author:

leberre

Method Summary

void	undo(int p) Method called when backtracking

Method Detail

undo

void undo(int p)

Method called when backtracking

Parameters:

p - a literal to be unassigned.