| Package | Description | 
|---|---|
| org.clafer.ir | 
 This package provides the IR used as in intermediate language during
 compilation. 
 | 
| Modifier and Type | Method and Description | 
|---|---|
IrSetTest.Op | 
IrSetTest.getOp()  | 
IrSetTest.Op | 
IrSetTest.Op.negate()  | 
static IrSetTest.Op | 
IrSetTest.Op.valueOf(String name)
Returns the enum constant of this type with the specified name. 
 | 
static IrSetTest.Op[] | 
IrSetTest.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 IrBoolExpr | 
Irs.equality(IrSetExpr left,
                IrSetTest.Op op,
                IrSetExpr right)  | 
Copyright © 2013. All Rights Reserved.