-
- Downloads
ExpSpecTransformationService: Integrate the prev. conversion.
* Modify the previous constraint transformation service into a more
general service that allows to convert ExplorationSpecifications, not
only constraints.
* Migrate the DSML expression converters and the InternalConstraint
converters.
* Make the Transformation Service compositional by means of its sub
modules.
Signed-off-by:
Alexander Diewald <diewald@fortiss.org>
Showing
- org.fortiss.af3.exploration.alg/META-INF/MANIFEST.MF 0 additions, 1 deletionorg.fortiss.af3.exploration.alg/META-INF/MANIFEST.MF
- org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/.ratings 1 addition, 1 deletion...loration.alg/src/org/fortiss/af3/exploration/alg/.ratings
- org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/ExplorationAlg.java 36 additions, 6 deletions...g/src/org/fortiss/af3/exploration/alg/ExplorationAlg.java
- org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/.ratings 3 additions, 3 deletions...tion.alg/src/org/fortiss/af3/exploration/alg/dse/.ratings
- org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/CompositeExplorationSolution.java 1 addition, 1 deletion...af3/exploration/alg/dse/CompositeExplorationSolution.java
- org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/Explorer.java 59 additions, 53 deletions...alg/src/org/fortiss/af3/exploration/alg/dse/Explorer.java
- org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/ImplicitExplorationTargetFactory.java 3 additions, 2 deletions...exploration/alg/dse/ImplicitExplorationTargetFactory.java
- org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/backend/.ratings 1 addition, 1 deletion.../src/org/fortiss/af3/exploration/alg/dse/backend/.ratings
- org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/backend/ExplorerBackendBase.java 10 additions, 4 deletions.../af3/exploration/alg/dse/backend/ExplorerBackendBase.java
- org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/backend/opt4j/.ratings 2 additions, 3 deletions...rg/fortiss/af3/exploration/alg/dse/backend/opt4j/.ratings
- org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/backend/opt4j/Opt4JExplorationSolutionSet.java 1 addition, 1 deletion...on/alg/dse/backend/opt4j/Opt4JExplorationSolutionSet.java
- org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/backend/opt4j/Opt4JExplorerBackend.java 4 additions, 1 deletion...ploration/alg/dse/backend/opt4j/Opt4JExplorerBackend.java
- org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/backend/opt4j/encoding/comm/.ratings 1 addition, 1 deletion.../exploration/alg/dse/backend/opt4j/encoding/comm/.ratings
- org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/backend/opt4j/encoding/comm/MessageEncoding.java 1 addition, 1 deletion.../alg/dse/backend/opt4j/encoding/comm/MessageEncoding.java
- org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/backend/opt4j/encoding/platform/.ratings 1 addition, 1 deletion...loration/alg/dse/backend/opt4j/encoding/platform/.ratings
- org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/backend/opt4j/encoding/platform/PlatformCommunicationGraphEncoding.java 1 addition, 1 deletion...encoding/platform/PlatformCommunicationGraphEncoding.java
- org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/backend/opt4j/encoding/safetyfunctionarch/.ratings 1 addition, 1 deletion...lg/dse/backend/opt4j/encoding/safetyfunctionarch/.ratings
- org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/backend/opt4j/encoding/safetyfunctionarch/SafetyFunctionArchEncoding.java 1 addition, 1 deletion...coding/safetyfunctionarch/SafetyFunctionArchEncoding.java
- org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/backend/opt4j/encoding/taskgraph/.ratings 1 addition, 1 deletion...oration/alg/dse/backend/opt4j/encoding/taskgraph/.ratings
- org.fortiss.af3.exploration.alg/src/org/fortiss/af3/exploration/alg/dse/backend/opt4j/encoding/taskgraph/TaskGraphEncoding.java 1 addition, 1 deletion...e/backend/opt4j/encoding/taskgraph/TaskGraphEncoding.java
Loading
Please register or sign in to comment