public abstract class EncodingStrategyAdapter
extends java.lang.Object
implements java.io.Serializable
Constructor and Description |
---|
EncodingStrategyAdapter() |
Modifier and Type | Method and Description |
---|---|
IConstr |
addAtLeast(ISolver solver,
IVecInt literals,
int degree) |
IConstr |
addAtLeastOne(ISolver solver,
IVecInt literals) |
IConstr |
addAtMost(ISolver solver,
IVecInt literals,
int degree) |
IConstr |
addAtMostOne(ISolver solver,
IVecInt literals) |
IConstr |
addExactly(ISolver solver,
IVecInt literals,
int degree) |
IConstr |
addExactlyOne(ISolver solver,
IVecInt literals) |
java.lang.String |
toString() |
public IConstr addAtLeast(ISolver solver, IVecInt literals, int degree) throws ContradictionException
ContradictionException
public IConstr addAtLeastOne(ISolver solver, IVecInt literals) throws ContradictionException
ContradictionException
public IConstr addAtMost(ISolver solver, IVecInt literals, int degree) throws ContradictionException
ContradictionException
public IConstr addAtMostOne(ISolver solver, IVecInt literals) throws ContradictionException
ContradictionException
public IConstr addExactly(ISolver solver, IVecInt literals, int degree) throws ContradictionException
ContradictionException
public IConstr addExactlyOne(ISolver solver, IVecInt literals) throws ContradictionException
ContradictionException
public java.lang.String toString()
toString
in class java.lang.Object