Package org.clafer.ir.analysis

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

See: Description

Class Summary

Class	Description
AnalysisUtil
Canonicalizer
Coalescer
CommonSubexpression
DuplicateConstraints	Remove constraints that are duplicated.
ImplicationFlattener
Optimizer

Package org.clafer.ir.analysis Description

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

Author:

jimmy