Package | Description |
---|---|
org.clafer.ast |
This package provides the language for building Clafer AST.
|
Modifier and Type | Method and Description |
---|---|
AstArithm.Op |
AstArithm.getOp() |
static AstArithm.Op |
AstArithm.Op.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static AstArithm.Op[] |
AstArithm.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 AstSetExpr |
Asts.arithm(AstArithm.Op op,
AstSetExpr... operands) |
Copyright © 2013. All Rights Reserved.