[DEECo] [d3scomp/JDEECo] 2825c1: Refactoring.

[GitHub]

  Branch: refs/heads/IntelligentEnsembles
  Home:   https://github.com/d3scomp/JDEECo
  Commit: 2825c1af0c6db345899e2f79d33fbb0f75eb3ee4
      https://github.com/d3scomp/JDEECo/commit/2825c1af0c6db345899e2f79d33fbb0f75eb3ee4
  Author: Zbyněk Jiráček <jiracek at d3s.mff.cuni.cz>
  Date:   2016-03-22 (Tue, 22 Mar 2016)

  Changed paths:
    A jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/ComponentAssignmentResults.java
    M 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/DataContainer.java
    A jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/DataContractInstancesContainer.java
    A jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/KnowledgeFieldVector.java
    M jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/Z3IntelligentEnsembleFactory.java

  Log Message:
  -----------
  Refactoring.


  Commit: de5c8de0eaf79d859eb8af1f28f3605c794895d2
      https://github.com/d3scomp/JDEECo/commit/de5c8de0eaf79d859eb8af1f28f3605c794895d2
  Author: Zbyněk Jiráček <jiracek at d3s.mff.cuni.cz>
  Date:   2016-03-22 (Tue, 22 Mar 2016)

  Changed paths:
    M jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/ComponentAssignmentSet.java
    M jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/ConstraintParser.java
    M jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/DataContainer.java
    M jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/DataContractInstancesContainer.java
    M jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/EnsembleAssignmentMatrix.java
    M jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/EnsembleRoleAssignmentMatrix.java
    A jdeeco-ensembles-intelligent-z3/src/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/RandomNameGenerator.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:
  -----------
  Z3 constraint support WIP


Compare: https://github.com/d3scomp/JDEECo/compare/322665e0832b...de5c8de0eaf7