org.sat4j.minisat.constraints.cnf

Class LearntHTClause

java.lang.Object

org.sat4j.minisat.constraints.cnf.HTClause

org.sat4j.minisat.constraints.cnf.LearntHTClause

All Implemented Interfaces:

Serializable, Constr, Propagatable, IConstr

public class LearntHTClause
extends HTClause

Since:

2.1

Author:

daniel

See Also:

Serialized Form

Field Summary

Fields inherited from class org.sat4j.minisat.constraints.cnf.HTClause

activity, head, middleLits, tail, voc

Constructor Summary

Constructors

Constructor and Description
LearntHTClause(IVecInt ps, ILits voc)

Method Summary

Methods

Modifier and Type	Method and Description
void	forwardActivity(double claInc)
void	incActivity(double claInc) Increase the constraint activity.
boolean	learnt()
void	register() Register the constraint to the solver.
void	setActivity(double d) Set the activity at a specific value
void	setLearnt() Mark a constraint as learnt.

Methods inherited from class org.sat4j.minisat.constraints.cnf.HTClause

assertConstraint, calcReason, calcReasonOnTheFly, canBePropagatedMultipleTimes, equals, get, getActivity, getLits, getVocabulary, hashCode, locked, propagate, remove, rescaleBy, simplify, size, toConstraint, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

LearntHTClause

public LearntHTClause(IVecInt ps,
              ILits voc)

Method Detail

register

public void register()

Description copied from interface: Constr

Register the constraint to the solver.

learnt

public boolean learnt()

Returns:

true iff the clause was learnt during the search

setLearnt

public void setLearnt()

Description copied from interface: Constr

Mark a constraint as learnt.

forwardActivity

public void forwardActivity(double claInc)

incActivity

public void incActivity(double claInc)

Description copied from interface: Constr

Increase the constraint activity.

Parameters:

claInc -

setActivity

public void setActivity(double d)

Description copied from interface: Constr

Set the activity at a specific value

Parameters:

d - the new activity