public class UnitBinaryHTClauseConstructor extends Object implements IClauseConstructor
Constructor and Description |
---|
UnitBinaryHTClauseConstructor() |
Modifier and Type | Method and Description |
---|---|
Constr |
constructClause(UnitPropagationListener solver,
ILits voc,
IVecInt v) |
Constr |
constructLearntClause(ILits voc,
IVecInt literals) |
public Constr constructClause(UnitPropagationListener solver, ILits voc, IVecInt v)
constructClause
in interface IClauseConstructor
public Constr constructLearntClause(ILits voc, IVecInt literals)
constructLearntClause
in interface IClauseConstructor
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.