PostProcessToClause (SAT4J pseudo 2.3.6 API)

public class PostProcessToClause
extends Object
implements IPostProcess

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`int`	`chooseAssertiveLiteral(int maxLevel, ConflictMap conflictMap)`
`static PostProcessToClause`	`instance()`
`void`	`postProcess(int dl, ConflictMap conflictMap)`
`String`	`toString()`

public static final PostProcessToClause instance()

public void postProcess(int dl,
                        ConflictMap conflictMap)

public int chooseAssertiveLiteral(int maxLevel,
                                  ConflictMap conflictMap)

Class PostProcessToClause