Uses of Class
org.clafer.ast.analysis.Analysis

Packages that use Analysis

Package	Description
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 Analysis in org.clafer.ast.analysis

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

Modifier and Type	Method and Description
Analysis	GlobalCardAnalyzer.analyze(Analysis analysis)
Analysis	FormatAnalyzer.analyze(Analysis analysis)
Analysis	UnsatAnalyzer.analyze(Analysis analysis)
Analysis	Analyzer.analyze(Analysis analysis)
Analysis	AbstractOffsetAnalyzer.analyze(Analysis analysis)
Analysis	OptimizerAnalyzer.analyze(Analysis analysis)
Analysis	PartialSolutionAnalyzer.analyze(Analysis analysis)
Analysis	CardAnalyzer.analyze(Analysis analysis)
Analysis	ScopeAnalyzer.analyze(Analysis analysis)
Analysis	PartialIntAnalyzer.analyze(Analysis analysis)
Analysis	SymmetryAnalyzer.analyze(Analysis analysis)
Analysis	TypeAnalyzer.analyze(Analysis analysis)
static Analysis	Analysis.analyze(AstModel model, Scopable scope, Analyzer... analyzers)
static Analysis	Analysis.analyze(AstModel model, Scopable scope, List<Objective> objectives, Analyzer... analyzers)
Analysis	Analysis.setBreakableChildrenMap(Map<AstClafer,AstConcreteClafer[]> breakableChildren)
Analysis	Analysis.setBreakableRefsMap(Map<AstRef,int[]> breakableRefs)
Analysis	Analysis.setBreakableTargetsMap(Map<AstClafer,AstRef[]> breakableTargetsMap)
Analysis	Analysis.setCardMap(Map<AstConcreteClafer,Card> cardMap)
Analysis	Analysis.setConstraintExprs(Map<AstConstraint,AstBoolExpr> constraintExprs)
Analysis	Analysis.setConstraints(List<AstConstraint> constraints)
Analysis	Analysis.setFormatMap(Map<AstClafer,Format> formatMap)
Analysis	Analysis.setGlobalCardMap(Map<AstClafer,Card> globalCardMap)
Analysis	Analysis.setHardConstraints(Set<AstConstraint> hardConstraints)
Analysis	Analysis.setObjectiveExprs(Map<Objective,AstSetExpr> objectiveExprs)
Analysis	Analysis.setOffsetMap(Map<AstAbstractClafer,Offsets> offsetMap)
Analysis	Analysis.setPartialIntsMap(Map<AstRef,IrDomain[]> partialIntsMap)
Analysis	Analysis.setPartialSolutionMap(Map<AstClafer,PartialSolution> partialSolutionMap)
Analysis	Analysis.setScope(Scope scope)
Analysis	Analysis.setTypeMap(Map<AstExpr,Type> typeMap)

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

Modifier and Type	Method and Description
Analysis	GlobalCardAnalyzer.analyze(Analysis analysis)
Analysis	FormatAnalyzer.analyze(Analysis analysis)
Analysis	UnsatAnalyzer.analyze(Analysis analysis)
Analysis	Analyzer.analyze(Analysis analysis)
Analysis	AbstractOffsetAnalyzer.analyze(Analysis analysis)
Analysis	OptimizerAnalyzer.analyze(Analysis analysis)
Analysis	PartialSolutionAnalyzer.analyze(Analysis analysis)
Analysis	CardAnalyzer.analyze(Analysis analysis)
Analysis	ScopeAnalyzer.analyze(Analysis analysis)
Analysis	PartialIntAnalyzer.analyze(Analysis analysis)
Analysis	SymmetryAnalyzer.analyze(Analysis analysis)
Analysis	TypeAnalyzer.analyze(Analysis analysis)
AstExpr	OptimizerAnalyzer.visit(AstJoin ast, Analysis a)
AstExpr	OptimizerAnalyzer.visit(AstJoinParent ast, Analysis a)

Uses of Analysis in org.clafer.ast.compiler

Methods in org.clafer.ast.compiler that return Analysis

Modifier and Type	Method and Description
Analysis	AstSolutionMap.getAnalysis()