org.sat4j.minisat.core
Interface Undoable

All Known Implementing Classes:

AtLeast, CBClause, MaxWatchCard, MaxWatchPb, MinWatchCard, MinWatchPb, MixableCBClause, WatchPb

public interface Undoable

Author:

leberre To change the template for this generated type comment go to Window - Preferences - Java - Code Generation - Code and Comments

Method Summary

void	undo(int p) M?

Method Detail

undo

void undo(int p)

M?thode appel?e lors du backtrack

Parameters:

p - un litt?ral d?saffect?