Statistics
| Branch: | Revision:

dimaptools / src / main / java / cz / agents / dimaptools / heuristic / abstractions @ 343:131532fe9ff4

Name Size Revision Age Author Comment
AbstractEdge.java 1.53 KB 331:66da2effe6bb over 4 years Štolba Michal replaced string labels with integers
AbstractState.java 3.42 KB 329:e1dae3fc6497 over 4 years Štolba Michal merge and shrink with two strategies
Abstraction.java 5.1 KB 343:131532fe9ff4 over 4 years Štolba Michal bug fixes
AtomicProjection.java 1.91 KB 343:131532fe9ff4 over 4 years Štolba Michal bug fixes
Dijkstra.java 967 Bytes 328:32175b83b9e7 over 4 years Štolba Michal dijkstra
MergeAndShrink.java 4.01 KB 332:f7def904e4ed over 4 years Štolba Michal minor fixes and updates

Latest revisions

# Date Author Comment
343:131532fe9ff4 08/11/2016 03:18 PM Štolba Michal

bug fixes

332:f7def904e4ed 05/03/2016 06:05 PM Štolba Michal

minor fixes and updates

331:66da2effe6bb 05/03/2016 10:59 AM Štolba Michal

replaced string labels with integers

330:e58bc9ec4c33 04/29/2016 11:17 AM Štolba Michal

abstraction OCP generator

329:e1dae3fc6497 04/29/2016 10:39 AM Štolba Michal

merge and shrink with two strategies

328:32175b83b9e7 04/28/2016 03:56 PM Štolba Michal

dijkstra

327:3144028e63f3 04/28/2016 12:26 PM Štolba Michal

all bugs fixed

326:a9f32af948a2 04/28/2016 11:10 AM Štolba Michal

bugfix

325:d71fba396e06 04/27/2016 05:01 PM Štolba Michal

wip on m&s (broken)

323:d538ced9a6c9 04/26/2016 06:01 PM Štolba Michal

merge and atomic projections

View revisions

Also available in: Atom