public class ConstraintDeclaration extends Object
| Modifier and Type | Class and Description |
|---|---|
static class |
ConstraintDeclaration.RelopType |
| Constructor and Description |
|---|
ConstraintDeclaration(String name,
ConstraintDeclaration.RelopType relop,
Expression aExpr,
Expression bExpr) |
ConstraintDeclaration(String name,
String relop,
Expression aExpr,
Expression bExpr) |
| Modifier and Type | Method and Description |
|---|---|
Expression |
getaExpr() |
Expression |
getbExpr() |
String |
getName() |
ConstraintDeclaration.RelopType |
getRelop() |
public ConstraintDeclaration(String name, String relop, Expression aExpr, Expression bExpr)
public ConstraintDeclaration(String name, ConstraintDeclaration.RelopType relop, Expression aExpr, Expression bExpr)
public String getName()
public ConstraintDeclaration.RelopType getRelop()
public Expression getaExpr()
public Expression getbExpr()
Copyright © 2013. All Rights Reserved.