package at.ac.tuwien.kr.alpha.solver;

enum ThriceTruth {
	TRUE,
	FALSE,
	MBT;
}
@@ -71,10 +71,74 @@
 E,%0A%09MBT;
+%0A%0A%09public boolean toBoolean() %7B%0A%09%09return !FALSE.equals(this);%0A%09%7D
 %0A%7D

Add ThriceTruth.toBoolean