LearnLib / automatalib / 274
93%

DEFAULT BRANCH: develop
Ran
Jobs 1
Files 610
Run time 2min
Badge
Embed ▾
README BADGES
x

If you need to use a raster PNG badge, change the '.svg' to '.png' in the link

Markdown

Textile

RDoc

HTML

Rst
274

push

travis-ci

web-flow 
Reintegrate MTS Branch (#43)

* initial MTS code import

This is still missing some functionality.

* refactorings and updates

- move 'PartialOrder' code to 'MTSUtil'
- remove constraint of rooted MTSs in 'ModalConjuction' and 'ModalParallelComposition'
- added check for equal alphabets to 'ModalConjunction'
- implemented 'asNFA' method for maximal and minimal languages

* Add new dependencies.

Add the dependencies log4j and assertj to the test scope.

* Add log4j testing configuration.

* FIX error in transitions of AbstractCompactMTS.

Initialize the source of a MTSTransition in AbstractCompactMTS.
This fixes a bug where the source of every transition of an
AbstractCompactMTS is always 0.

Add a corresponding test case.

* Refactor ModalRefinement.

Move method refinementRelation(...) from util/src/main/java/net/automatalib/util/ts/modal/MTSUtil.java
to util/src/main/java/net/automatalib/util/ts/modal/ModalRefinement.java.

Redevelop refinementRelation, fix semantic errors, extract duplicate
code in static helper functions.

Add new test cases derived from literature (from Larsen and Jasper).

* Improve workset algorithms.

Add javadoc comments to the workset interface.
Rename parameters to be more descriptive.

* Improve api of workset algorithms.

* Complete rework of modal-contract utility functions.

 - add utility facility for closure-algotithms (based on workset)
 - add functions for system-component, red-context and green-context

* Fix test case.

Fix usage of old method signature in MCUtilTest.

* Remove log4j.

Replace log4j with default SLF4J implementation logback.

* Refactor fixed-point algorithms.

Extract all fixed-point algorithms into separate package: util/src/main/java/net/automatalib/util/{ts/modal -> fixedpoint}.

* Extend test case for MCUtil.

* FIX green context component.

* Improve test case (use beforeclass).

* Remove javax Nonnull annotations.

* initi... (continued)

11945 of 14609 relevant lines covered (81.76%)

1.5 hits per line

Jobs
ID Job ID Ran Files Coverage
6 274.6 (LTSMIN_VERSION="v3.1.0") 0
81.76
 Travis Job 274.6
Source Files on build 274
Detailed source file information is not available for this build.