← Back to branch summary

~tapaal-dist/verifypn/parser

~tapaal-dist/verifypn/parser

Viewing all changes in revision 43.

Committer: Jakob Dyhr
Date: 2015-04-08 10:06:16 UTC
Revision ID: jdyhr12@student.aau.dk-20150408100616-5egcvzp0yiicwgid

reductions on adjacency list

files modified:
compile.osx64.sh

src/Main.cpp

src/PetriNet.cpp

src/PetriNet.h

src/PetriNetBuilder.cpp

src/PetriNetBuilder.h

src/QueryXMLParser.cpp

src/Reducer.cpp

src/Reducer.h

Show diffs side-by-side

added added

removed removed

compile.osx64.sh

src/PetriNet.cpp

src/PetriNetBuilder.cpp

src/PetriNetBuilder.h

src/QueryXMLParser.cpp

src/Reducer.cpp

Older »