org.sat4j.minisat.core
Interface Undoable

All Known Implementing Classes:

AtLeast, AtLeastPB, CBClause, MaxWatchCard, MaxWatchPb, MinWatchCard, MinWatchCardPB, MinWatchPb, MixableCBClause, MixableCBClausePB, PuebloMinWatchPb, WatchPb

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.