Group :: Desenvolvimento/Java
RPM: sat4j
Main Changelog Spec Patches Sources Download Gear Bugs e FR Repocop
Patch: sat4j-core-nooverrides.patch
Download
Download
--- src/org/sat4j/minisat/core/Solver.java 2008-05-25 05:07:56.000000000 -0400
+++ src/org/sat4j/minisat/core/Solver.java 2008-06-19 12:51:06.000000000 -0400
@@ -1312,12 +1312,10 @@
return null;
}
- @Override
public boolean isDBSimplificationAllowed() {
return isDBSimplificationAllowed;
}
- @Override
public void setDBSimplificationAllowed(boolean status) {
isDBSimplificationAllowed = status;
}