org.sat4j.minisat.core
Interface Undoable

All Known Implementing Classes:

AtLeast, CBClause, MinWatchCard, MixableCBClause

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.