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
da498a78
Commit
da498a78
authored
Feb 28, 2018
by
Anne Parrain
Browse files
suppress createConflict definitions under-specified (with less than the
8 parameters needed to create a ConflictMap instance)
parent
4701c779
Pipeline
#859
passed with stages
in 26 minutes and 21 seconds
Changes
1
Pipelines
1
Hide whitespace changes
Inline
Side-by-side
org.sat4j.pb/src/main/java/org/sat4j/pb/constraints/pb/ConflictMap.java
View file @
da498a78
...
...
@@ -80,30 +80,6 @@ public class ConflictMap extends MapPb implements IConflict {
* current decision level
* @return a conflict on which cutting plane can be performed.
*/
public
static
IConflict
createConflict
(
PBConstr
cpb
,
int
level
)
{
return
new
ConflictMap
(
cpb
,
level
);
}
public
static
IConflict
createConflict
(
PBConstr
cpb
,
int
level
,
boolean
noRemove
)
{
return
new
ConflictMap
(
cpb
,
level
,
noRemove
,
false
,
NoPostProcess
.
instance
(),
IWeakeningStrategy
.
UNASSIGNED_FIRST
,
AutoDivisionStrategy
.
ENABLED
,
null
);
}
public
static
IConflict
createConflict
(
PBConstr
cpb
,
int
level
,
boolean
noRemove
,
boolean
skip
,
PBSolverStats
stats
)
{
return
new
ConflictMap
(
cpb
,
level
,
noRemove
,
skip
,
NoPostProcess
.
instance
(),
IWeakeningStrategy
.
UNASSIGNED_FIRST
,
AutoDivisionStrategy
.
ENABLED
,
stats
);
}
public
static
IConflict
createConflict
(
PBConstr
cpb
,
int
level
,
boolean
noRemove
,
IPostProcess
postProcessing
)
{
return
new
ConflictMap
(
cpb
,
level
,
noRemove
,
false
,
postProcessing
,
IWeakeningStrategy
.
UNASSIGNED_FIRST
,
AutoDivisionStrategy
.
ENABLED
,
null
);
}
public
static
IConflict
createConflict
(
PBConstr
cpb
,
int
level
,
boolean
noRemove
,
boolean
skip
,
IPostProcess
postProcessing
,
...
...
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