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.


Copyright © 2009 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.