| Package | Description |
|---|---|
| org.coode.oppl | |
| org.coode.oppl.querymatching | |
| org.coode.parsers.oppl |
| Modifier and Type | Method and Description |
|---|---|
O |
ConstraintVisitorEx.visit(InequalityConstraint c)
Visitor pattern required method
|
void |
ConstraintVisitor.visitInequalityConstraint(InequalityConstraint c)
Visitor pattern required method
|
| Modifier and Type | Method and Description |
|---|---|
Boolean |
ConstraintChecker.visit(InequalityConstraint c) |
| Modifier and Type | Method and Description |
|---|---|
InequalityConstraint |
OPPLSymbolTable.getInequalityConstraint(OPPLSyntaxTree parentExpression,
OPPLSyntaxTree variableIdentifier,
OPPLSyntaxTree expression,
ConstraintSystem constraintSystem) |
Copyright © 2015 The University of Manchester. All Rights Reserved.