diff options
Diffstat (limited to 'scripts/exceptions.py')
-rw-r--r-- | scripts/exceptions.py | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/scripts/exceptions.py b/scripts/exceptions.py new file mode 100644 index 0000000..722c44a --- /dev/null +++ b/scripts/exceptions.py @@ -0,0 +1,21 @@ +class MissingFile(Exception): + def __init__(self, f, advice): + self.f = f + self.advice = advice + def __str__(self): + if advice == None: + return "No required file: " + f + else: + return "No required file: " + f + "\n" + advice + +class NoSolution(Exception): + def __init__(self): + pass + def __str__(self): + return "SAT solver found no solution. Statement is not satisfiable." + +class PhaseMismatch(Exception): + def __init__(self): + pass + def __str__(self): + return "Phase in " + conf.phase_file + " is unknown." |