org.clafer.ast.analysis

Class UnsatAnalyzer

java.lang.Object

org.clafer.ast.analysis.UnsatAnalyzer

All Implemented Interfaces:

Analyzer

public class UnsatAnalyzer
extends Object
implements Analyzer

Sets every constraint to soft.

Author:

jimmy

Constructor Summary

Constructors

Constructor and Description
UnsatAnalyzer()

Method Summary

Methods

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

UnsatAnalyzer

public UnsatAnalyzer()

Method Detail

analyze

public Analysis analyze(Analysis analysis)

Specified by:

analyze in interface Analyzer