[DEECo] [d3scomp/JDEECo] 322665: Z3: Changed representation of ComponentAssignmentS...

[GitHub]

  Branch: refs/heads/IntelligentEnsembles
  Home:   https://github.com/d3scomp/JDEECo
  Commit: 322665e0832b0abc161904a3b9e70929d2b19f9c
      https://github.com/d3scomp/JDEECo/commit/322665e0832b0abc161904a3b9e70929d2b19f9c
  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/Z3IntelligentEnsembleFactory.java
    M jdeeco-ensembles-intelligent-z3/test/cz/cuni/mff/d3s/jdeeco/ensembles/intelligent/z3/IntelligentEnsemblesTest.java

  Log Message:
  -----------
  Z3: Changed representation of ComponentAssignmentSet (from BoolExpr[] to
ArrayExpr)