Package org.clafer.ast.analysis

This package provides various analysis and optimizations to perform on the AST.

See: Description

Interface Summary

Interface	Description
Analyzer

Class Summary

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

Enum Summary

Enum	Description
Format	There is two ways to represent a set.

Exception Summary

Exception	Description
AnalysisException
TypeException

Package org.clafer.ast.analysis Description

This package provides various analysis and optimizations to perform on the AST.

Author:

jimmy