Uses of Interface
org.clafer.ast.analysis.Analyzer

Packages that use Analyzer

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 Analyzer in org.clafer.ast.analysis

Classes in org.clafer.ast.analysis that implement Analyzer

Modifier and Type	Class and Description
class	AbstractOffsetAnalyzer
class	CardAnalyzer Rewrites the model replacing unbounded high cardinalities with bounded effective high cardinalities.
class	FormatAnalyzer
class	GlobalCardAnalyzer
class	OptimizerAnalyzer Optimizes the expressions inside the constraints.
class	PartialIntAnalyzer
class	PartialSolutionAnalyzer
class	ScopeAnalyzer
class	SymmetryAnalyzer This analyzer determines where symmetry is and is not possible.
class	TypeAnalyzer Type checks and creates explicit upcast nodes in the AST.
class	UnsatAnalyzer Sets every constraint to soft.

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

Modifier and Type	Method and Description
static Analysis	Analysis.analyze(AstModel model, Scopable scope, Analyzer... analyzers)
static Analysis	Analysis.analyze(AstModel model, Scopable scope, List<Objective> objectives, Analyzer... analyzers)

Uses of Analyzer in org.clafer.ast.compiler

Fields in org.clafer.ast.compiler declared as Analyzer

Modifier and Type	Field and Description
static Analyzer[]	AstCompiler.DefaultAnalyzers

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

Modifier and Type	Method and Description
static AstSolutionMap	AstCompiler.compile(AstModel in, Scope scope, IrModule out, Analyzer[] analyzers, boolean fullSymmetryBreaking)
static AstSolutionMap	AstCompiler.compile(AstModel in, Scope scope, Objective objective, IrModule out, Analyzer[] analyzers, boolean fullSymmetryBreaking)