blob: 29aa1dcd31fa8ea6bd96e95357bc3506323ed621 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
|
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."
class ConfigurationError(Exception):
def __init__(self, message):
self.message = message;
def __str__(self):
return "Configuration error: " + message
class SolutionGenerated(Exception):
def __init__(self):
pass
def __str__(self):
return "Solution already generated."
|