[DEECo] [d3scomp/JDEECo] a51121: Added basic support for constraints. Preparations ...
GitHub
noreply at github.com
Wed Mar 9 18:52:43 CET 2016
Branch: refs/heads/IntelligentEnsembles
Home: https://github.com/d3scomp/JDEECo
Commit: a51121a8a473f213cbbc71efc3747f2db527077f
https://github.com/d3scomp/JDEECo/commit/a51121a8a473f213cbbc71efc3747f2db527077f
Author: Zbyněk Jiráček <jiracek at d3s.mff.cuni.cz>
Date: 2016-03-09 (Wed, 09 Mar 2016)
Changed paths:
A jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/ComponentAssignmentSet.java
A jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/ConstraintParser.java
A jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/EnsembleAssignmentMatrix.java
A jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/EnsembleRoleAssignmentMatrix.java
M jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/Z3IntelligentEnsembleFactory.java
M jdeeco-ensembles-intelligent-z3/test/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/pendolino.edl
Log Message:
-----------
Added basic support for constraints. Preparations for multiple data
contracts.
More information about the DEECo
mailing list