← Back to branch summary

~boginw/verifypn/fix-branch

~boginw/verifypn/fix-branch

Viewing all changes in revision 228.

Committer: Bogi Napoleon Wennerstrøm
Date: 2020-09-25 09:28:37 UTC
Revision ID: bogi.wennerstrom@gmail.com-20200925092837-9l4kl9a5e40epvwn

Changed `*.size() > 0` to `!*.empty()` and `*.size() == 0` to `*.empty()`

files modified:
include/PetriEngine/PQL/Expressions.h

include/PetriEngine/PetriNetBuilder.h

include/PetriEngine/TAR/TARAutomata.h

src/PetriEngine/PQL/Expressions.cpp

src/PetriEngine/Reachability/ResultPrinter.cpp

src/PetriEngine/Reducer.cpp

src/PetriEngine/ReducingSuccessorGenerator.cpp

src/PetriEngine/Simplification/LinearProgram.cpp

src/PetriEngine/TAR/Solver.cpp

src/PetriEngine/TAR/TARReachability.cpp

src/PetriEngine/TAR/TraceSet.cpp

src/VerifyPN.cpp

Show diffs side-by-side

added added

removed removed

include/PetriEngine/PQL/Expressions.h

include/PetriEngine/PetriNetBuilder.h

include/PetriEngine/TAR/TARAutomata.h

src/PetriEngine/PQL/Expressions.cpp

src/PetriEngine/Reachability/ResultPrinter.cpp

src/PetriEngine/Reducer.cpp

src/PetriEngine/ReducingSuccessorGenerator.cpp

src/PetriEngine/Simplification/LinearProgram.cpp

src/PetriEngine/TAR/Solver.cpp

src/PetriEngine/TAR/TARReachability.cpp

src/PetriEngine/TAR/TraceSet.cpp

src/VerifyPN.cpp

Older »