Skip to content
GitLab
Menu
Projects
Groups
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
SAT4J
sat4j
Commits
8b426e08
Commit
8b426e08
authored
Mar 01, 2018
by
Romain WALLON
Browse files
Replaces a null return by the use of a tautology.
parent
1813cebb
Pipeline
#866
failed with stages
in 2 minutes and 34 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/Pseudos.java
View file @
8b426e08
...
...
@@ -62,7 +62,7 @@ public abstract class Pseudos {
bigDegree
=
mpb
.
saturation
();
}
if
(
bigDegree
.
signum
()
<=
0
)
{
return
null
;
return
IDataStructurePB
.
TAUTOLOGY
;
}
return
mpb
;
}
...
...
Write
Preview
Supports
Markdown
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment