public class MinCardConstructor extends Object implements ICardConstructor
Constructor and Description |
---|
MinCardConstructor() |
Modifier and Type | Method and Description |
---|---|
Constr |
constructCard(UnitPropagationListener solver,
ILits voc,
IVecInt theLits,
int degree) |
Constr |
constructLearntCard(ILits voc,
IDataStructurePB dspb) |
public Constr constructCard(UnitPropagationListener solver, ILits voc, IVecInt theLits, int degree) throws ContradictionException
constructCard
in interface ICardConstructor
ContradictionException
public Constr constructLearntCard(ILits voc, IDataStructurePB dspb)
constructLearntCard
in interface ICardConstructor
Copyright © 2013 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.