public interface Constraint
| Modifier and Type | Interface and Description |
|---|---|
static class |
Constraint.Type |
| Modifier and Type | Method and Description |
|---|---|
List<Constraint> |
getChildren() |
Constraint.Type |
getType() |
Constraint |
negate() |
default PredicateInformation |
predicateInformation() |
Constraint |
replaceVariable(Variable oldVar,
Variable newVar) |
List<Constraint> getChildren()
Constraint.Type getType()
Constraint negate()
Constraint replaceVariable(Variable oldVar, Variable newVar)
default PredicateInformation predicateInformation()
Copyright © 2001–2021 JBoss by Red Hat. All rights reserved.