public final class IntegerFieldFormulaSolver extends java.lang.Object implements Solver<java.util.Map<IntegerVariable,java.math.BigInteger>>
IntegerFieldFormulaSolver implements an integer-field-constraints solver.Solver.Mode| Constructor and Description |
|---|
IntegerFieldFormulaSolver(java.util.Collection<java.util.Collection<IntegerVariable>> variables,
java.util.Collection<IntegerFormula<IntegerField>> formulae)
Constructs a solver.
|
IntegerFieldFormulaSolver(java.util.Collection<java.util.Collection<IntegerVariable>> variables,
java.util.Collection<IntegerFormula<IntegerField>> formulae,
IntegerVariableInitializer initializer)
Constructs a solver.
|
IntegerFieldFormulaSolver(java.util.Collection<IntegerVariable> variables,
IntegerFormula<IntegerField> formula)
Constructs a solver.
|
IntegerFieldFormulaSolver(java.util.Collection<IntegerVariable> variables,
IntegerFormula<IntegerField> formula,
IntegerVariableInitializer initializer)
Constructs a solver.
|
| Modifier and Type | Method and Description |
|---|---|
SolverResult<java.util.Map<IntegerVariable,java.math.BigInteger>> |
solve(Solver.Mode mode)
Checks whether the equation clause is satisfiable and returns a solution (if required).
|
public IntegerFieldFormulaSolver(java.util.Collection<java.util.Collection<IntegerVariable>> variables, java.util.Collection<IntegerFormula<IntegerField>> formulae, IntegerVariableInitializer initializer)
variables - the variables to be included into a solution.formulae - the constraints to be solved.initializer - the initializer to be used to fill the unused fields.public IntegerFieldFormulaSolver(java.util.Collection<java.util.Collection<IntegerVariable>> variables, java.util.Collection<IntegerFormula<IntegerField>> formulae)
variables - the variables to be included into a solution.formulae - the constraints to be solved.public IntegerFieldFormulaSolver(java.util.Collection<IntegerVariable> variables, IntegerFormula<IntegerField> formula, IntegerVariableInitializer initializer)
variables - the variables to be included into a solution.formula - the constraint to be solved.initializer - the initializer to be used to fill the unused fields.public IntegerFieldFormulaSolver(java.util.Collection<IntegerVariable> variables, IntegerFormula<IntegerField> formula)
variables - the variables to be included into a solution.formula - the constraint to be solved.public SolverResult<java.util.Map<IntegerVariable,java.math.BigInteger>> solve(Solver.Mode mode)
Solversolve in interface Solver<java.util.Map<IntegerVariable,java.math.BigInteger>>mode - the solver mode.SAT if the equation clause is satisfiable; UNSAT otherwise.