org.sat4j.minisat.core
Interface VarActivityListener

All Superinterfaces:

java.io.Serializable

public interface VarActivityListener
extends java.io.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)