[service-technology.org] r7362 - in /trunk/lola2: ./ src/ src/Core/ src/Exploration/ src/InputOutput/ src/Net/ src/Parser/ src/Stores/ src/utils/

[Niels Lohmann]

Author: niels
Date: Thu Apr 12 15:26:57 2012
New Revision: 7362

URL: http://svn.gna.org/viewcvs/service-tech?rev=7362&view=rev
Log:
* further clean up


Added:
    trunk/lola2/src/Core/
    trunk/lola2/src/Core/Dimensions.h
      - copied unchanged from r7353, trunk/lola2/src/Dimensions.h
    trunk/lola2/src/Core/Handlers.cc
      - copied, changed from r7361, trunk/lola2/src/Handlers.cc
    trunk/lola2/src/Core/Handlers.h
      - copied unchanged from r7353, trunk/lola2/src/Handlers.h
    trunk/lola2/src/Core/main.cc
      - copied, changed from r7361, trunk/lola2/src/main.cc
    trunk/lola2/src/Exploration/
    trunk/lola2/src/Exploration/Firelist.cc
      - copied, changed from r7361, trunk/lola2/src/Firelist.cc
    trunk/lola2/src/Exploration/Firelist.h
      - copied, changed from r7361, trunk/lola2/src/Firelist.h
    trunk/lola2/src/Exploration/RandomWalk.cc
      - copied unchanged from r7360, trunk/lola2/src/RandomWalk.cc
    trunk/lola2/src/Exploration/RandomWalk.h
      - copied unchanged from r7361, trunk/lola2/src/RandomWalk.h
    trunk/lola2/src/Exploration/SearchStack.cc
      - copied, changed from r7353, trunk/lola2/src/SearchStack.cc
    trunk/lola2/src/Exploration/SearchStack.h
      - copied unchanged from r7361, trunk/lola2/src/SearchStack.h
    trunk/lola2/src/Exploration/SimpleProperty.cc
      - copied, changed from r7360, trunk/lola2/src/SimpleProperty.cc
    trunk/lola2/src/Exploration/SimpleProperty.h
      - copied, changed from r7361, trunk/lola2/src/SimpleProperty.h
    trunk/lola2/src/cmdline.ggo
      - copied unchanged from r7354, trunk/lola2/src/cmdline.ggo
    trunk/lola2/src/utils/
    trunk/lola2/src/utils/Killer.cc
      - copied unchanged from r7360, trunk/lola2/src/Killer.cc
    trunk/lola2/src/utils/Listener.cc
      - copied unchanged from r7360, trunk/lola2/src/Listener.cc
Removed:
    trunk/lola2/src/Dimensions.h
    trunk/lola2/src/Firelist.cc
    trunk/lola2/src/Firelist.h
    trunk/lola2/src/Handlers.cc
    trunk/lola2/src/Handlers.h
    trunk/lola2/src/Killer.cc
    trunk/lola2/src/Listener.cc
    trunk/lola2/src/RandomWalk.cc
    trunk/lola2/src/RandomWalk.h
    trunk/lola2/src/SearchStack.cc
    trunk/lola2/src/SearchStack.h
    trunk/lola2/src/SimpleProperty.cc
    trunk/lola2/src/SimpleProperty.h
    trunk/lola2/src/main.cc
Modified:
    trunk/lola2/configure.ac
    trunk/lola2/src/InputOutput/Reporter.cc
    trunk/lola2/src/InputOutput/Socket.h
    trunk/lola2/src/Makefile.am
    trunk/lola2/src/Net/LinearAlgebra.h
    trunk/lola2/src/Net/Marking.cc
    trunk/lola2/src/Net/Marking.h
    trunk/lola2/src/Net/Net.h
    trunk/lola2/src/Net/Place.cc
    trunk/lola2/src/Net/Place.h
    trunk/lola2/src/Net/StructuralReduction.h
    trunk/lola2/src/Net/Transition.cc
    trunk/lola2/src/Net/Transition.h
    trunk/lola2/src/Net/swap.cc
    trunk/lola2/src/Parser/ArcList.h
    trunk/lola2/src/Parser/ParserPTNetLoLA.yy
    trunk/lola2/src/Parser/PlaceSymbol.h
    trunk/lola2/src/Parser/Symbol.h
    trunk/lola2/src/Parser/SymbolTable.cc
    trunk/lola2/src/Stores/BDDStore.h
    trunk/lola2/src/Stores/BinStore.h
    trunk/lola2/src/Stores/STLStore.h
    trunk/lola2/src/Stores/Store.cc


-- 
You received this e-mail, because you subscribed the mailing list 
"service-tech-commits" which will forward you any e-mail addressed to 
service-tech-commits@gna.org. If you want to unsubscribe or make any changes to 
your subscription, please go to
https://mail.gna.org/listinfo/service-tech-commits.