org.clafer.ast.analysis

Interface Analyzer

All Known Implementing Classes:

AbstractOffsetAnalyzer, CardAnalyzer, FormatAnalyzer, GlobalCardAnalyzer, OptimizerAnalyzer, PartialIntAnalyzer, PartialSolutionAnalyzer, ScopeAnalyzer, SymmetryAnalyzer, TypeAnalyzer, UnsatAnalyzer

public interface Analyzer

Author:

jimmy

Method Summary

Methods

Modifier and Type	Method and Description
Analysis	analyze(Analysis analysis)

Method Detail

analyze

Analysis analyze(Analysis analysis)