Package org.jacop.jasat.utils
Class BasicPreprocessor
- java.lang.Object
-
- org.jacop.jasat.utils.BasicPreprocessor
-
public class BasicPreprocessor extends java.lang.Object
a basic preprocessor. It aims at removing trivial clauses- Version:
- 4.7
-
-
Field Summary
Fields Modifier and Type Field Description private Core
core
private MapClause
localClause
private static int
SIMPLIFIED
private static int
TRIVIAL
private static int
UNTOUCHED
-
Constructor Summary
Constructors Constructor Description BasicPreprocessor(Core core)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
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 Detail
-
UNTOUCHED
private static final int UNTOUCHED
- See Also:
- Constant Field Values
-
SIMPLIFIED
private static final int SIMPLIFIED
- See Also:
- Constant Field Values
-
TRIVIAL
private static final int TRIVIAL
- See Also:
- Constant Field Values
-
core
private Core core
-
localClause
private MapClause localClause
-
-
Constructor Detail
-
BasicPreprocessor
public BasicPreprocessor(Core core)
-
-
Method Detail
-
addModelClause
public void addModelClause(IntVec clause)
add a clause (just parsed from a file, e.g.) to the solver, after processing- Parameters:
clause
- clause to be added
-
simplifyClause
private int simplifyClause(IntVec clause)
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)
-
-