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.NullPointerException
- if the parameter equals null.java.lang.IllegalArgumentException
- 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.NullPointerException
- if any of the parameters equals null.java.lang.IllegalArgumentException
- 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.NullPointerException
- if any of the parameters equals null.java.lang.IllegalArgumentException
- if any of the parameters is not a formula-based constraint
(its type is not ConstraintKind.FORMULA_BASED).