public final class ConstraintCombiner
extends java.lang.Object
| Modifier and Type | Method and Description |
|---|---|
static Constraint |
makeConjunction(Constraint a,
Constraint b)
Creates a new constraint by performing logical conjunction on the specified constraints.
|
static Constraint |
makeDisjunction(Constraint a,
Constraint b)
Creates a new constraint by performing logical disjunction on the specified constraints.
|
static Constraint |
makeNegation(Constraint a)
Creates a new constraint by performing logical negation on the specified constraint.
|
public static Constraint makeNegation(Constraint a)
a - A constraint object.java.lang.IllegalArgumentException - if the parameter equals null;
if the parameter is not a formula-based constraint (its type
is not ConstraintKind.FORMULA_BASED).public static Constraint makeConjunction(Constraint a, Constraint b)
a - A constraint object.b - A constraint object.java.lang.IllegalArgumentException - if any of the parameters equals null;
if any of the parameters is not a formula-based constraint
(its type is not ConstraintKind.FORMULA_BASED).public static Constraint makeDisjunction(Constraint a, Constraint b)
a - A constraint object.b - A constraint object.java.lang.IllegalArgumentException - if any of the parameters equals null;
if any of the parameters is not a formula-based constraint
(its type is not ConstraintKind.FORMULA_BASED).