diff --git a/flamapy/metamodels/pysat_diagnosis_metamodel/operations/pysat_diagnosis.py b/flamapy/metamodels/pysat_diagnosis_metamodel/operations/pysat_diagnosis.py index fede50e..0c0be5a 100644 --- a/flamapy/metamodels/pysat_diagnosis_metamodel/operations/pysat_diagnosis.py +++ b/flamapy/metamodels/pysat_diagnosis_metamodel/operations/pysat_diagnosis.py @@ -7,7 +7,7 @@ from .diagnosis.hsdag.labeler.fastdiag_labeler import FastDiagParameters, FastDiagLabeler -class PySAT3Diagnosis(PySATAbstractIdentifier): +class PySATDiagnosis(PySATAbstractIdentifier): """ An operation that computes diagnoses and conflict sets using the combination of HSDAG and FastDiag algorithms.