Package | Description |
---|---|
org.clafer.ast |
This package provides the language for building Clafer AST.
|
Modifier and Type | Method and Description |
---|---|
AstBoolArithm.Op |
AstBoolArithm.getOp() |
static AstBoolArithm.Op |
AstBoolArithm.Op.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static AstBoolArithm.Op[] |
AstBoolArithm.Op.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
static AstBoolExpr |
Asts.arithm(AstBoolArithm.Op op,
AstBoolExpr... operands) |
Copyright © 2013. All Rights Reserved.