Package org.jacop.jasat.utils
Class BasicPreprocessor
java.lang.Object
org.jacop.jasat.utils.BasicPreprocessor
a basic preprocessor. It aims at removing trivial clauses
- Version:
- 4.9
-
Field Summary
Fields -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionvoid
addModelClause
(IntVec clause) add a clause (just parsed from a file, e.g.) to the solver, after processingprivate int
simplifyClause
(IntVec clause) simplify the clause by removing duplicates and checking for triviality.
-
Field Details
-
UNTOUCHED
private static final int UNTOUCHED- See Also:
-
SIMPLIFIED
private static final int SIMPLIFIED- See Also:
-
TRIVIAL
private static final int TRIVIAL- See Also:
-
core
-
localClause
-
-
Constructor Details
-
BasicPreprocessor
-
-
Method Details
-
addModelClause
add a clause (just parsed from a file, e.g.) to the solver, after processing- Parameters:
clause
- clause to be added
-
simplifyClause
simplify the clause by removing duplicates and checking for triviality.- Parameters:
clause
- the clause to simplify- Returns:
- the status of the clause (see at beginning)
-