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

Packages that use PartialSolution

Package	Description
org.clafer.ast.analysis	This package provides various analysis and optimizations to perform on the AST.

Uses of PartialSolution in org.clafer.ast.analysis

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

Modifier and Type	Method and Description
PartialSolution	Analysis.getPartialSolution(AstClafer clafer)

Methods in org.clafer.ast.analysis that return types with arguments of type PartialSolution

Modifier and Type	Method and Description
Map<AstClafer,PartialSolution>	Analysis.getPartialSolutionMap()

Method parameters in org.clafer.ast.analysis with type arguments of type PartialSolution

Modifier and Type	Method and Description
Analysis	Analysis.setPartialSolutionMap(Map<AstClafer,PartialSolution> partialSolutionMap)