Uses of Interface
org.clafer.ast.AstVar

Packages that use AstVar

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

Uses of AstVar in org.clafer.ast

Classes in org.clafer.ast that implement AstVar

Modifier and Type	Class and Description
class	AstAbstractClafer An abstract Clafer.
class	AstBoolClafer The primitive boolean Clafer.
class	AstClafer A Clafer in the model.
class	AstConcreteClafer A concrete Clafer.
class	AstIntClafer The primitive integer Clafer.
class	AstLocal A local is a binding of a value to a name in quantifiers.
class	AstModel The Clafer model.
class	AstPrimClafer A primitive Clafer.

Methods in org.clafer.ast with parameters of type AstVar

Modifier and Type	Method and Description
static String[]	AstUtil.getNames(AstVar... vars) Retrieve the names of the variables.

Method parameters in org.clafer.ast with type arguments of type AstVar

Modifier and Type	Method and Description
static List<String>	AstUtil.getNames(Iterable<? extends AstVar> vars) Retrieve the names of the Clafers.