org.sat4j.pb.constraints

Class UnitBinaryHTClausePBConstructor

java.lang.Object

org.sat4j.pb.constraints.UnitBinaryHTClausePBConstructor

All Implemented Interfaces:

IClauseConstructor

public class UnitBinaryHTClausePBConstructor
extends java.lang.Object
implements IClauseConstructor

Constructor Summary

Constructors

Constructor and Description
UnitBinaryHTClausePBConstructor()

Method Summary

Modifier and Type	Method and Description
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

UnitBinaryHTClausePBConstructor

public UnitBinaryHTClausePBConstructor()

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