Uses of Class
org.clafer.ast.AstCompare.Op

Packages that use AstCompare.Op

Package	Description
org.clafer.ast	This package provides the language for building Clafer AST.

Uses of AstCompare.Op in org.clafer.ast

Methods in org.clafer.ast that return AstCompare.Op

Modifier and Type	Method and Description
AstCompare.Op	AstCompare.getOp()
static AstCompare.Op	AstCompare.Op.valueOf(String name) Returns the enum constant of this type with the specified name.
static AstCompare.Op[]	AstCompare.Op.values() Returns an array containing the constants of this enum type, in the order they are declared.

Methods in org.clafer.ast with parameters of type AstCompare.Op

Modifier and Type	Method and Description
static AstBoolExpr	Asts.compare(AstSetExpr left, AstCompare.Op op, AstSetExpr right)