Skip to content

Commit 4fc147d

Browse files
committed
more cleanups
1 parent 3cc5a87 commit 4fc147d

File tree

4 files changed

+6
-6
lines changed

4 files changed

+6
-6
lines changed

algorithms/active/sparse/src/main/java/de/learnlib/algorithm/sparse/FringeRow.java

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -42,8 +42,8 @@ class FringeRow<S, I, O> extends Row<S, I, O> {
4242
*/
4343
O transOut;
4444
/**
45-
* For compression, fringe rows do not store observations directly. instead, they point to some leaf in a tree
46-
* encoding their classification history. this trick avoids redundantly storing identical observations.
45+
* For compression, fringe rows do not store observations directly. Instead, they point to some leaf in a tree
46+
* encoding their classification history. This trick avoids redundantly storing identical observations.
4747
*/
4848
Leaf<S, I, O> leaf;
4949

algorithms/active/sparse/src/main/java/de/learnlib/algorithm/sparse/GenericSparseLearner.java

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -290,8 +290,8 @@ private int moveToCore(FringeRow<S, I, O> f, List<Integer> cellIds) {
290290
}
291291

292292
/**
293-
* Takes fringe row and its observations, Queries the missing entries and returns a list containing the observations
294-
* for all suffixes.
293+
* Takes fringe row and its observations, queries the missing entries, and returns a list containing the
294+
* observations for all suffixes.
295295
*/
296296
private List<Integer> completeRowObservations(FringeRow<S, I, O> f, List<Integer> cellIds) {
297297
final Set<Word<I>> sufsPresent = new HashSet<>(HashUtil.capacity(cellIds.size()));

algorithms/active/sparse/src/main/java/de/learnlib/algorithm/sparse/Leaf.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -28,7 +28,7 @@ class Leaf<S, I, O> extends Node<S, I, O> {
2828
private int lastNumSufs;
2929

3030
/**
31-
* Split leafs always remember how many core rows and suffixes the table contained at their last visit. Tis
31+
* Split leafs always remember how many core rows and suffixes the table contained at their last visit. This
3232
* information is used as a logical timestamp to check whether the separator is still guaranteed to be optimal or if
3333
* it needs to be recomputed.
3434
*/

algorithms/active/sparse/src/test/java/sparse/it/SparseIT.java renamed to algorithms/active/sparse/src/test/java/de/learnlib/algorithm/sparse/it/SparseIT.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@
1313
* See the License for the specific language governing permissions and
1414
* limitations under the License.
1515
*/
16-
package sparse.it;
16+
package de.learnlib.algorithm.sparse.it;
1717

1818
import de.learnlib.algorithm.sparse.SparseLearner;
1919
import de.learnlib.oracle.MembershipOracle.MealyMembershipOracle;

0 commit comments

Comments
 (0)