"""Class for solver status."""
from __future__ import annotations
from enum import Enum
class DataFileLock(Enum):
"""Indicates which CSV data file a job will write to."""
PERFORMANCE = "PERFORMANCE_DATA" # performance_dataframe.csv
FEATURE = "FEATURE_DATA" # feature_dataframe.csv
[docs]
class SolverStatus(str, Enum):
"""Possible return states for solver runs."""
SUCCESS = "SUCCESS" # Positive status
SAT = "SAT" # SAT specific positive status
UNSAT = "UNSAT" # SAT specific positive status
# Negative status
UNKNOWN = "UNKNOWN"
CRASHED = "CRASHED"
TIMEOUT = "TIMEOUT"
WRONG = "WRONG"
ERROR = "ERROR"
KILLED = "KILLED"
def __str__(self: SolverStatus) -> str:
"""Return the string value of the SolverStatus."""
return str(self.value)
@property
def positive(self: SolverStatus) -> bool:
"""Return whether the status is positive."""
return self in [SolverStatus.SUCCESS, SolverStatus.SAT, SolverStatus.UNSAT]