| 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.