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

Packages that use AstMembership.Op

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

Uses of AstMembership.Op in org.clafer.ast

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

Modifier and Type	Method and Description
AstMembership.Op	AstMembership.getOp()
static AstMembership.Op	AstMembership.Op.valueOf(String name) Returns the enum constant of this type with the specified name.
static AstMembership.Op[]	AstMembership.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 AstMembership.Op

Modifier and Type	Method and Description
static AstBoolExpr	Asts.membership(AstSetExpr member, AstMembership.Op op, AstSetExpr set)