public final class ImmutableProblem
extends java.lang.Object
KodkodSession.
Aside the universe, the relations and the formula, this class contains the
default bounds for the relations. It distinguishes between exact bounds
(constants) and upper bounds (variables). In a request (see
#createRequest(Solver, Map)), values for variables can be given and
the computed values of the remaining variables are returned. This way, no
redundant constants are passed between client and server.Problem| Constructor and Description |
|---|
ImmutableProblem(java.lang.String id,
Formula formula,
java.lang.Integer bitwidth,
Universe universe,
java.util.Collection<RelationInfo> infos,
int numberOffset,
int[] numbers) |
| Modifier and Type | Method and Description |
|---|---|
Request |
createRequest(Solver solver,
boolean signum,
java.util.Map<java.lang.String,TupleSet> values)
Create a request.
|
java.lang.Integer |
getBitwidth() |
Formula |
getFormula() |
java.lang.String |
getId() |
Universe |
getUniverse() |
RelationInfo |
lookupRelationInfo(java.lang.String id) |
public ImmutableProblem(java.lang.String id,
Formula formula,
java.lang.Integer bitwidth,
Universe universe,
java.util.Collection<RelationInfo> infos,
int numberOffset,
int[] numbers)
public java.lang.String getId()
public Formula getFormula()
public java.lang.Integer getBitwidth()
public RelationInfo lookupRelationInfo(java.lang.String id)
public Request createRequest(Solver solver, boolean signum, java.util.Map<java.lang.String,TupleSet> values)
solver - A working solver instance, never null.signum - The signum of the formula (positive: formula unchanged,
negative: formula negated)values - a mapping from some variables to their values, never
null.Requestpublic Universe getUniverse()