[DEECo] [d3scomp/JDEECo] 457b1a: Z3 multiple data contract support WIP

[GitHub]

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

  Changed paths:
    M jdeeco-core/src/cz/cuni/mff/d3s/deeco/knowledge/container/ReadOnlyKnowledgeWrapper.java
    M jdeeco-core/src/cz/cuni/mff/d3s/deeco/knowledge/container/TrackingKnowledgeWrapper.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 multiple data contract support WIP


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

  Changed paths:
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/DefaultFunctionRegistry.java
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/IFunctionRegistry.java
    A jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/functions/Count.java
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/functions/IFunction.java
    A jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/functions/OneOf.java
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/functions/SetsEqual.java
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/utils/EDLUtils.xtend
    M jdeeco-edl/src/cz/cuni/mff/d3s/jdeeco/edl/validation/EDLValidator.xtend

  Log Message:
  -----------
  Merge branch 'IntelligentEnsembles' of https://github.com/d3scomp/JDEECo.git into IntelligentEnsembles


Compare: https://github.com/d3scomp/JDEECo/compare/eca832d5f311...00ed4e930d69