public final class IntegerFieldFormulaProblemSat4j extends IntegerFormulaBuilder<IntegerField>
IntegerFieldFormulaProblemSat4j
represents an integer problem.Constructor and Description |
---|
IntegerFieldFormulaProblemSat4j() |
IntegerFieldFormulaProblemSat4j(IntegerFieldFormulaProblemSat4j r) |
Modifier and Type | Method and Description |
---|---|
void |
addClause(IntegerClause<IntegerField> clause)
Adds the clause to the formula.
|
IntegerFieldFormulaProblemSat4j |
clone() |
Sat4jFormula |
getFormula() |
java.util.Map<IntegerVariable,java.lang.Integer> |
getIndices() |
java.util.Map<IntegerVariable,ru.ispras.fortress.data.types.bitvector.BitVector> |
getMasks() |
void |
setUsedBits(IntegerVariable variable) |
addClauses, addConstraint, addEquation, addEquation, addEquation, addFormula
public IntegerFieldFormulaProblemSat4j()
public IntegerFieldFormulaProblemSat4j(IntegerFieldFormulaProblemSat4j r)
public java.util.Map<IntegerVariable,java.lang.Integer> getIndices()
public java.util.Map<IntegerVariable,ru.ispras.fortress.data.types.bitvector.BitVector> getMasks()
public Sat4jFormula getFormula()
public void addClause(IntegerClause<IntegerField> clause)
IntegerFormulaBuilder
addClause
in class IntegerFormulaBuilder<IntegerField>
clause
- the clause to be added.public void setUsedBits(IntegerVariable variable)
public IntegerFieldFormulaProblemSat4j clone()
clone
in class IntegerFormulaBuilder<IntegerField>