org.sat4j.minisat.constraints.cnf
Class OriginalWLClause
java.lang.Object
org.sat4j.minisat.constraints.cnf.WLClause
org.sat4j.minisat.constraints.cnf.OriginalWLClause
- All Implemented Interfaces:
- Serializable, Constr, Propagatable, IConstr
public final class OriginalWLClause
- extends WLClause
- See Also:
- Serialized Form
Methods inherited from class org.sat4j.minisat.constraints.cnf.WLClause |
assertConstraint, calcReason, equals, get, getActivity, getLits, getVocabulary, hashCode, locked, propagate, remove, rescaleBy, simplify, size, toString |
OriginalWLClause
public OriginalWLClause(IVecInt ps,
ILits voc)
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.
brandNewClause
public static OriginalWLClause brandNewClause(UnitPropagationListener s,
ILits voc,
IVecInt literals)
- Creates a brand new clause, presumably from external data.
- Parameters:
s
- the object responsible for unit propagationvoc
- the vocabularyliterals
- the literals to store in the clause
- Returns:
- the created clause or null if the clause should be ignored
(tautology for example)
forwardActivity
public void forwardActivity(double claInc)
- Since:
- 2.1
incActivity
public void incActivity(double claInc)
- Description copied from interface:
Constr
- Increase the constraint activity.
- Parameters:
claInc
-
Copyright © 2010 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.