org.jacop.jasat.utils

Class BasicPreprocessor

java.lang.Object

org.jacop.jasat.utils.BasicPreprocessor

public class BasicPreprocessor
extends Object

a basic preprocessor. It aims at removing trivial clauses

Version:

4.9

Author:

Simon Cruanes and Radoslaw Szymanek

Constructor Summary

Constructors

Constructor and Description
BasicPreprocessor(Core core)

Method Summary

Modifier and Type	Method and Description
void	addModelClause(IntVec clause) add a clause (just parsed from a file, e.g.) to the solver, after processing

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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