preparing release-4.9

change.bash

@@ -1,7 +1,7 @@
 #!/bin/bash
 echo changing file $1;
 mv $1 $1.bak;
-sed -e "s/@version 4.7/@version 4.8/g" < $1.bak > $1;
+sed -e "s/@version 4.8/@version 4.9/g" < $1.bak > $1;
 rm $1.bak;
 # command to be executed 
 # find src/ -name "*.java" -exec ./change.bash {} \;

pom.xml

@@ -5,7 +5,7 @@
 
     <groupId>org.jacop</groupId>
     <artifactId>jacop</artifactId>
-    <version>4.9.0-SNAPSHOT</version>
+    <version>4.9.0</version>
     <packaging>jar</packaging>
 
     <name>JaCoP</name>

src/main/java/org/jacop/api/RemoveLevelLate.java

@@ -35,7 +35,7 @@
  * has been removed to finalize the removal of the level for the constraint.
  *
  * @author Radoslaw Szymanek and Krzysztof Kuchcinski
- * @version 4.8
+ * @version 4.9
  */
 public interface RemoveLevelLate {
 

src/main/java/org/jacop/api/Replaceable.java

@@ -38,7 +38,7 @@
  * replace a particular type of constraints into another one.
  *
  * @author Radoslaw Szymanek and Krzysztof Kuchcinski
- * @version 4.8
+ * @version 4.9
  */
 public interface Replaceable<T extends Constraint>  {
 

src/main/java/org/jacop/api/SatisfiedPresent.java

@@ -35,7 +35,7 @@
  * (Constraint) to compute if the constraint is satisfied.
  *
  * @author Radoslaw Szymanek and Krzysztof Kuchcinski
- * @version 4.8
+ * @version 4.9
  */
 public interface SatisfiedPresent {
 

src/main/java/org/jacop/api/Stateful.java

@@ -34,7 +34,7 @@
  * Interface to mark the need of an entity to receive information about level being removed.
  *
  * @author Radoslaw Szymanek and Krzysztof Kuchcinski
- * @version 4.8
+ * @version 4.9
  */
 public interface Stateful {
 

src/main/java/org/jacop/api/StoreAware.java

@@ -37,7 +37,7 @@
  * entity operates.
  *
  * @author Radoslaw Szymanek and Krzysztof Kuchcinski
- * @version 4.8
+ * @version 4.9
  */
 public interface StoreAware {
 

src/main/java/org/jacop/api/UsesQueueVariable.java

@@ -32,7 +32,7 @@
 
 /**
  * @author Radoslaw Szymanek and Krzysztof Kuchcinski
- * @version 4.8
+ * @version 4.9
  *          <p>
  *          It specifies the marker interface for constraints that depend on calling queueVariable
  *          function of Constraint interface for correct/efficient execution of consistency function.

src/main/java/org/jacop/constraints/AbsXeqY.java

@@ -41,7 +41,7 @@
  * Domain and bounds consistency can be used; third parameter of constructor controls this.
  *
  * @author Radoslaw Szymanek and Krzysztof Kuchcinski
- * @version 4.8
+ * @version 4.9
  */
 
 public class AbsXeqY extends PrimitiveConstraint implements Stateful {

src/main/java/org/jacop/constraints/Alldiff.java

@@ -53,7 +53,7 @@
  * It extends basic functionality of Alldifferent constraint.
  *
  * @author Krzysztof Kuchcinski and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 
 public class Alldiff extends Alldifferent {

src/main/java/org/jacop/constraints/Alldifferent.java

@@ -44,7 +44,7 @@
  * partial consistency technique.
  *
  * @author Krzysztof Kuchcinski and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 
 public class Alldifferent extends Constraint implements UsesQueueVariable, SatisfiedPresent {

src/main/java/org/jacop/constraints/Alldistinct.java

@@ -53,7 +53,7 @@
  * 0..1000000 will make it use few MB already and kill the efficiency.
  *
  * @author Radoslaw Szymanek and Krzysztof Kuchcinski
- * @version 4.8
+ * @version 4.9
  */
 public class Alldistinct extends Constraint implements UsesQueueVariable, Stateful, SatisfiedPresent {
 

src/main/java/org/jacop/constraints/Among.java

@@ -50,7 +50,7 @@
  * backtracking) to improve the constraint further.
  *
  * @author Polina Makeeva and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 
 public class Among extends Constraint implements UsesQueueVariable, Stateful, SatisfiedPresent {

src/main/java/org/jacop/constraints/AmongVar.java

@@ -54,7 +54,7 @@
  * function. The strength of propagation algorithm is incomporable to BC.
  *
  * @author Polina Makeeva and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 public class AmongVar extends Constraint implements UsesQueueVariable, Stateful, SatisfiedPresent {
 

src/main/java/org/jacop/constraints/And.java

@@ -43,7 +43,7 @@
  * Constraint c1 /\ c2 ... /\ cn
  *
  * @author Krzysztof Kuchcinski and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 public class And extends PrimitiveConstraint implements UsesQueueVariable {
 

src/main/java/org/jacop/constraints/AndBool.java

@@ -42,7 +42,7 @@
  * and returns result.
  *
  * @author Krzysztof Kuchcinski and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 
 public class AndBool extends DecomposedConstraint<PrimitiveConstraint> {

src/main/java/org/jacop/constraints/AndBoolSimple.java

@@ -40,7 +40,7 @@
  * is equal to zero. It restricts the domain of all x as well as result to be between 0 and 1.
  *
  * @author Krzysztof Kuchcinski and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 
 public class AndBoolSimple extends PrimitiveConstraint {

src/main/java/org/jacop/constraints/AndBoolVector.java

@@ -40,7 +40,7 @@
  * is equal to zero. It restricts the domain of all x as well as result to be between 0 and 1.
  *
  * @author Krzysztof Kuchcinski and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 
 public class AndBoolVector extends PrimitiveConstraint {

src/main/java/org/jacop/constraints/ArgMax.java

@@ -43,7 +43,7 @@
  * variable from all variables on the list.
  *
  * @author Krzysztof Kuchcinski and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 
 public class ArgMax extends Constraint implements SatisfiedPresent {

src/main/java/org/jacop/constraints/ArgMin.java

@@ -43,7 +43,7 @@
  * variable from all variables on the list.
  *
  * @author Krzysztof Kuchcinski and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 
 public class ArgMin extends Constraint implements SatisfiedPresent {

src/main/java/org/jacop/constraints/Assignment.java

@@ -48,7 +48,7 @@
  * It enforces the relationship x[d[i]-shiftX]=i+shiftD and d[x[i]-shiftD]=i+shiftX.
  *
  * @author Radoslaw Szymanek and Krzysztof Kuchcinski
- * @version 4.8
+ * @version 4.9
  */
 
 public class Assignment extends Constraint implements UsesQueueVariable, Stateful, SatisfiedPresent {

src/main/java/org/jacop/constraints/AtLeast.java

@@ -44,7 +44,7 @@
  * specified by variable value.
  *
  * @author Krzysztof Kuchcinski and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 
 public class AtLeast extends PrimitiveConstraint {

src/main/java/org/jacop/constraints/AtMost.java

@@ -44,7 +44,7 @@
  * specified by variable value.
  *
  * @author Krzysztof Kuchcinski and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 
 public class AtMost extends PrimitiveConstraint {

src/main/java/org/jacop/constraints/BoolClause.java

@@ -46,7 +46,7 @@
  * It restricts the domain of all x as well as result to be between 0 and 1.
  *
  * @author Krzysztof Kuchcinski and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 
 public class BoolClause extends PrimitiveConstraint {

src/main/java/org/jacop/constraints/ChannelImply.java

@@ -42,7 +42,7 @@
  * ChannelImply constraints "B {@literal =>} constraint".
  *
  * @author Krzysztof Kuchcinski and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 
 public class ChannelImply extends Constraint implements SatisfiedPresent {

src/main/java/org/jacop/constraints/ChannelReif.java

@@ -42,7 +42,7 @@
  * ChannelReif constraints "constraint" {@literal <=>} B.
  *
  * @author Krzysztof Kuchcinski and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 
 public class ChannelReif extends Constraint implements SatisfiedPresent {

src/main/java/org/jacop/constraints/Circuit.java

@@ -48,7 +48,7 @@
  * the circuit. Variables create one circuit.
  *
  * @author Krzysztof Kuchcinski and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 
 public class Circuit extends Alldiff implements Stateful {

src/main/java/org/jacop/constraints/CircuitVar.java

@@ -39,7 +39,7 @@
  * keeps current next node and previous node for the circuit
  *
  * @author Krzysztof Kuchcinski and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 
 class CircuitVar implements MutableVar {

src/main/java/org/jacop/constraints/CircuitVarValue.java

@@ -36,7 +36,7 @@
  * Defines a current value of the CircuitVar and related operations on it.
  *
  * @author Krzysztof Kuchcinski and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 
 class CircuitVarValue implements MutableVarValue, Cloneable {

src/main/java/org/jacop/constraints/Conditional.java

@@ -48,7 +48,7 @@
  * b[k] = 1 (true) and all b[i] for i {@literal <} k are 0 (false).
  *
  * @author Krzysztof Kuchcinski
- * @version 4.8
+ * @version 4.9
  */
 
 public class Conditional extends Constraint implements SatisfiedPresent {

src/main/java/org/jacop/constraints/Constraint.java

@@ -47,7 +47,7 @@
  * notSatisfiability, enforce consistency.
  *
  * @author Krzysztof Kuchcinski and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 
 public abstract class Constraint extends DecomposedConstraint<Constraint> {

src/main/java/org/jacop/constraints/Count.java

@@ -45,7 +45,7 @@
  * specified by variable counter.
  *
  * @author Krzysztof Kuchcinski and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 
 public class Count extends PrimitiveConstraint {

src/main/java/org/jacop/constraints/CountBounds.java

@@ -44,7 +44,7 @@
  * specified by lower bound and upper bound, lb and ub.
  *
  * @author Krzysztof Kuchcinski and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 
 public class CountBounds extends PrimitiveConstraint {

src/main/java/org/jacop/constraints/CountValues.java

@@ -47,7 +47,7 @@
  * variable counter.
  *
  * @author Krzysztof Kuchcinski and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 
 public class CountValues extends Constraint implements SatisfiedPresent {

src/main/java/org/jacop/constraints/CountValuesBounds.java

@@ -47,7 +47,7 @@
  * lower and upper bounds.
  *
  * @author Krzysztof Kuchcinski and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 
 public class CountValuesBounds extends Constraint implements SatisfiedPresent {

src/main/java/org/jacop/constraints/CountVar.java

@@ -45,7 +45,7 @@
  * specified by variable counter.
  *
  * @author Krzysztof Kuchcinski and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 
 public class CountVar extends PrimitiveConstraint {

src/main/java/org/jacop/constraints/Cumulative.java

@@ -43,7 +43,7 @@
  * algorithm and profile information on the resource use.
  *
  * @author Krzysztof Kuchcinski and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 
 public class Cumulative extends Constraint implements SatisfiedPresent {

src/main/java/org/jacop/constraints/CumulativeProfiles.java

@@ -37,7 +37,7 @@
  * value.
  *
  * @author Krzysztof Kuchcinski and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 
 class CumulativeProfiles {

src/main/java/org/jacop/constraints/DecomposedConstraint.java

@@ -42,7 +42,7 @@
  * Defines how to construct a constraint out of other constraints.
  *
  * @author Radoslaw Szymanek and Krzysztof Kuchcinski
- * @version 4.8
+ * @version 4.9
  */
 
 public abstract class DecomposedConstraint<T extends Constraint> {

src/main/java/org/jacop/constraints/Decreasing.java

@@ -39,7 +39,7 @@
  * Decreasing constraint assures that all variables are in decreasing order. 
  *
  * @author Krzysztof Kuchcinski and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 
 public class Decreasing extends Increasing {

src/main/java/org/jacop/constraints/Diff.java

@@ -46,7 +46,7 @@
  * does not use sophisticated techniques for efficient backtracking.
  *
  * @author Krzysztof Kuchcinski and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 
 public class Diff extends Constraint implements UsesQueueVariable, Stateful, SatisfiedPresent {

src/main/java/org/jacop/constraints/Diff2.java

@@ -48,7 +48,7 @@
  * Zero-width rectangles can be packed anywhere.
  *
  * @author Krzysztof Kuchcinski and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 
 public class Diff2 extends Diff {

src/main/java/org/jacop/constraints/Diff2Var.java

@@ -39,7 +39,7 @@
  * keeps current recatngles for evaluation ([[R2, R3], [R1, R3], ...]
  *
  * @author Krzysztof Kuchcinski and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 
 class Diff2Var implements MutableVar {

src/main/java/org/jacop/constraints/Diff2VarValue.java

@@ -38,7 +38,7 @@
  * Defines a current value of the Diff2Var and related operations on it.
  *
  * @author Krzysztof Kuchcinski and Radoslaw Szymanek
- * @version 4.8
+ * @version 4.9
  */
 
 class Diff2VarValue implements MutableVarValue, Cloneable {