001package org.clafer.ast.analysis;
002
003import java.util.Collections;
004import org.clafer.ast.AstConstraint;
005
006/**
007 * Sets every constraint to soft.
008 *
009 * @author jimmy
010 */
011public class UnsatAnalyzer implements Analyzer {
012
013    @Override
014    public Analysis analyze(Analysis analysis) {
015        return analysis.setHardConstraints(Collections.<AstConstraint>emptySet());
016    }
017}