Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD

org.sat4j.minisat.core
Interface VarActivityListener

public interface VarActivityListener

Author:
leberre

Method Summary
 void varBumpActivity(int p)
          Update the activity of a variable v.
 

Method Detail

varBumpActivity

void varBumpActivity(int p)
Update the activity of a variable v.

Parameters:
p - a literal (v<<1 or v<<1^1)
Overview  Package   Class  Use  Tree  Deprecated  Index  Help 
 PREV CLASS   NEXT CLASS FRAMES    NO FRAMES    
SUMMARY: NESTED | FIELD | CONSTR | METHOD DETAIL: FIELD | CONSTR | METHOD