Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion src/main/java/org/jacop/constraints/knapsack/Knapsack.java
Original file line number Diff line number Diff line change
Expand Up @@ -327,7 +327,7 @@ private void commonInitialization(int[] profits, int[] weights, IntVar[] quantit
* It makes sure that no item has a possibility to use more than
* available capacity.
* <p>
* quantity.max() * weight < remainingCapacity.
* quantity.max() * weight &lt; remainingCapacity.
*
* @param store the constraint store responsible for stroing the problem.
* @param parent the node from which the restriction
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -160,7 +160,7 @@ public void markTree(boolean setMark) {
}

/**
* Recomputes the potential & depth values in the subtree rooted at this
* Recomputes the potential &amp; depth values in the subtree rooted at this
* node.
*/
void computePotentials() {
Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -535,7 +535,7 @@ public void backjump(int level) {
* (used for debug) checks if the 2 first literals of the clauses
* are exactly the set of literals that watch this clause
*
* @param clauseIndex the index of the clause
* @param var the variable
*/
@SuppressWarnings("unused") private String checkWatches4var(int var) {

Expand Down
6 changes: 3 additions & 3 deletions src/main/java/org/jacop/jasat/modules/ActivityModule.java
Original file line number Diff line number Diff line change
Expand Up @@ -181,7 +181,7 @@ public final int getLiteralToAssert() {
/**
* gives activity of a (signed) literal
*
* @param literal the literal
* @param var the literal
* @return the activity of this (variable, polarity)
*/
private final int getLiteralActivity(int var, boolean polarity) {
Expand All @@ -196,7 +196,7 @@ private final int getLiteralActivity(int var, boolean polarity) {
/**
* code that really performs variable and polarity activity bumping.
*
* @param var the variable
* @param literal the variable
* @return the new activity of the variable
*/
private final int bumpVar(int literal) {
Expand Down Expand Up @@ -266,7 +266,7 @@ private final void rebase(int value) {

/**
* compares literals according to their activity. This stands for
* i > j and not i < j, because we want activities to
* i &gt; j and not i &lt; j, because we want activities to
* be sorted in decreasing order
*
* @author simon
Expand Down
2 changes: 1 addition & 1 deletion src/main/java/org/jacop/util/SimpleHashSet.java
Original file line number Diff line number Diff line change
Expand Up @@ -112,7 +112,7 @@ public boolean contains(E checkedElement) {

/**
* The maximum capacity, used if a higher value is implicitly specified by
* either of the constructors with arguments. MUST be a power of two <= 1<<30.
* either of the constructors with arguments. MUST be a power of two &le; 1&lt;&lt;30.
*/
static final int MAXIMUM_CAPACITY = 1 << 30;

Expand Down