added additional flags to exploration algorithms to properties
Showing
- bundles/fr.irisa.cairn.gecos.typeexploration/src/fr/irisa/cairn/gecos/typeexploration/Configuration.java 11 additions, 0 deletions...c/fr/irisa/cairn/gecos/typeexploration/Configuration.java
- bundles/fr.irisa.cairn.gecos.typeexploration/src/fr/irisa/cairn/gecos/typeexploration/TypesExploration.java 1 addition, 2 deletions...r/irisa/cairn/gecos/typeexploration/TypesExploration.java
- bundles/fr.irisa.cairn.gecos.typeexploration/src/fr/irisa/cairn/gecos/typeexploration/dse/AbstractExplorationAlgorithm.java 16 additions, 6 deletions...cos/typeexploration/dse/AbstractExplorationAlgorithm.java
- bundles/fr.irisa.cairn.gecos.typeexploration/src/fr/irisa/cairn/gecos/typeexploration/dse/DefaultAlgorithms.java 3 additions, 2 deletions...sa/cairn/gecos/typeexploration/dse/DefaultAlgorithms.java
- bundles/fr.irisa.cairn.gecos.typeexploration/src/fr/irisa/cairn/gecos/typeexploration/model/IExplorationAlgorithm.java 1 addition, 1 deletion...rn/gecos/typeexploration/model/IExplorationAlgorithm.java
Loading
Please register or sign in to comment