org.sat4j.pb.constraints
Class UnitBinaryWLClauseConstructor

java.lang.Object
  extended by org.sat4j.pb.constraints.UnitBinaryWLClauseConstructor
All Implemented Interfaces:
IClauseConstructor

public class UnitBinaryWLClauseConstructor
extends Object
implements IClauseConstructor


Constructor Summary
UnitBinaryWLClauseConstructor()
           
 
Method Summary
 Constr constructClause(UnitPropagationListener solver, ILits voc, IVecInt v)
           
 Constr constructLearntClause(ILits voc, IVecInt literals)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

UnitBinaryWLClauseConstructor

public UnitBinaryWLClauseConstructor()
Method Detail

constructClause

public Constr constructClause(UnitPropagationListener solver,
                              ILits voc,
                              IVecInt v)
Specified by:
constructClause in interface IClauseConstructor

constructLearntClause

public Constr constructLearntClause(ILits voc,
                                    IVecInt literals)
Specified by:
constructLearntClause in interface IClauseConstructor


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