Uses of Class
org.clafer.ast.AstRef

Packages that use AstRef

Package	Description
org.clafer.ast	This package provides the language for building Clafer AST.
org.clafer.ast.analysis	This package provides various analysis and optimizations to perform on the AST.
org.clafer.ast.compiler	This package provides a compiler to translate Clafer AST to IR.

Uses of AstRef in org.clafer.ast

Methods in org.clafer.ast that return AstRef

Modifier and Type	Method and Description
static AstRef	AstUtil.getInheritedRef(AstClafer clafer) Find the reference belonging to the Clafer or the reference it inherited.
AstRef	AstClafer.getRef() Returns this Clafer's reference

Uses of AstRef in org.clafer.ast.analysis

Methods in org.clafer.ast.analysis that return AstRef

Modifier and Type	Method and Description
AstRef[]	Analysis.getBreakableTarget(AstClafer clafer)

Methods in org.clafer.ast.analysis that return types with arguments of type AstRef

Modifier and Type	Method and Description
Map<AstRef,int[]>	Analysis.getBreakableRefsMap()
Pair<AstRef,Integer>	Analysis.getInheritedRefId(AstClafer clafer)
Map<AstRef,IrDomain[]>	Analysis.getPartialIntsMap()

Methods in org.clafer.ast.analysis with parameters of type AstRef

Modifier and Type	Method and Description
IrDomain[]	Analysis.getPartialInts(AstRef ref)
boolean	Analysis.isBreakableRef(AstRef ref)
boolean	Analysis.isBreakableRefId(AstRef ref, int id)

Method parameters in org.clafer.ast.analysis with type arguments of type AstRef

Modifier and Type	Method and Description
Analysis	Analysis.setBreakableRefsMap(Map<AstRef,int[]> breakableRefs)
Analysis	Analysis.setPartialIntsMap(Map<AstRef,IrDomain[]> partialIntsMap)

Uses of AstRef in org.clafer.ast.compiler

Methods in org.clafer.ast.compiler with parameters of type AstRef

Modifier and Type	Method and Description
IrIntVar[]	AstSolutionMap.getRefVars(AstRef ref) Returns the reference variables associated to the reference.