org.sat4j.minisat.core
Interface VarActivityListener

All Superinterfaces:
Serializable

public interface VarActivityListener
extends Serializable

Interface providing the capability to increase the activity of a given variable.

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)


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