public final class IntegerClauseSolver extends java.lang.Object implements Solver<java.util.Map<IntegerVariable,java.math.BigInteger>>
IntegerClauseSolver
implements an equation clause solver.Solver.Mode
Constructor and Description |
---|
IntegerClauseSolver(java.util.Collection<java.util.Collection<IntegerVariable>> variables,
IntegerClause<IntegerVariable> clause)
Constructs an equation clause solver.
|
IntegerClauseSolver(IntegerClauseSolver rhs)
Constructs a copy of the 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 IntegerClauseSolver(java.util.Collection<java.util.Collection<IntegerVariable>> variables, IntegerClause<IntegerVariable> clause)
variables
- the variables to be put into a solution.clause
- the equation clause to be solved.java.lang.IllegalArgumentException
- if some parameters are null.public IntegerClauseSolver(IntegerClauseSolver rhs)
rhs
- the solver to be copied.java.lang.IllegalArgumentException
- if rhs
is null.public SolverResult<java.util.Map<IntegerVariable,java.math.BigInteger>> solve(Solver.Mode mode)
Solver
solve
in interface Solver<java.util.Map<IntegerVariable,java.math.BigInteger>>
mode
- the solver mode.SAT
if the equation clause is satisfiable; UNSAT
otherwise.