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