← Back to branch summary

~verifytapn/verifytapn/1.0

~verifytapn/verifytapn/1.0

« back to all changes in this revision

Viewing changes to src/ReachabilityChecker/Successor.hpp

Committer: Lasse Jacobsen
Date: 2011-02-04 09:38:04 UTC
Revision ID: lassejac@lassejac-laptop-20110204093804-b65ysgouvintroiv

- organized the project more logically

files added:
src/Core/SymbolicMarking

src/Core/TAPNParser

src/ReachabilityChecker/PassedWaitingList

src/ReachabilityChecker/QueryChecker

src/ReachabilityChecker/Trace

files removed:
src/ColoredTAPN

src/Core/VerificationEngine.cpp

src/Core/VerificationEngine.hpp

src/PN

files renamed:
src/Core/DiscretePart.cpp => src/Core/SymbolicMarking/DiscretePart.cpp

src/Core/DiscretePart.hpp => src/Core/SymbolicMarking/DiscretePart.hpp

src/Core/SymMarking.cpp => src/Core/SymbolicMarking/SymMarking.cpp

src/Core/SymMarking.hpp => src/Core/SymbolicMarking/SymMarking.hpp

src/Core/TokenMapping.cpp => src/Core/SymbolicMarking/TokenMapping.cpp

src/Core/TokenMapping.hpp => src/Core/SymbolicMarking/TokenMapping.hpp

src/TAPN/ => src/Core/TAPN/

src/Core/Pairing.cpp => src/Core/TAPN/Pairing.cpp

src/Core/Pairing.hpp => src/Core/TAPN/Pairing.hpp

src/Core/TAPNXmlParser.cpp => src/Core/TAPNParser/TAPNXmlParser.cpp

src/Core/TAPNXmlParser.hpp => src/Core/TAPNParser/TAPNXmlParser.hpp

src/Core/util.cpp => src/Core/TAPNParser/util.cpp

src/Core/util.hpp => src/Core/TAPNParser/util.hpp

src/Verification/ => src/ReachabilityChecker/

src/Verification/Node.hpp => src/ReachabilityChecker/PassedWaitingList/Node.hpp

src/Verification/PWList.cpp => src/ReachabilityChecker/PassedWaitingList/PWList.cpp

src/Verification/PWList.hpp => src/ReachabilityChecker/PassedWaitingList/PWList.hpp

src/Verification/PassedWaitingList.hpp => src/ReachabilityChecker/PassedWaitingList/PassedWaitingList.hpp

src/Verification/WaitingList.cpp => src/ReachabilityChecker/PassedWaitingList/WaitingList.cpp

src/Verification/WaitingList.hpp => src/ReachabilityChecker/PassedWaitingList/WaitingList.hpp

src/Core/QueryChecker.cpp => src/ReachabilityChecker/QueryChecker/QueryChecker.cpp

src/Core/QueryChecker.hpp => src/ReachabilityChecker/QueryChecker/QueryChecker.hpp

src/Verification/TraceInfo.hpp => src/ReachabilityChecker/Trace/TraceInfo.hpp

src/Verification/TraceStore.cpp => src/ReachabilityChecker/Trace/TraceStore.cpp

src/Verification/TraceStore.hpp => src/ReachabilityChecker/Trace/TraceStore.hpp

files modified:
src/Core/QueryParser/ExpressionSatisfiedVisitor.cpp

src/Core/QueryParser/TAPNQueryParser.hpp

src/Core/TAPN/TimedArcPetriNet.hpp

src/Core/TAPN/TimedTransition.cpp

src/ReachabilityChecker/SearchStrategy.cpp

src/ReachabilityChecker/SearchStrategy.hpp

src/ReachabilityChecker/Successor.hpp

src/ReachabilityChecker/SuccessorGenerator.cpp

src/ReachabilityChecker/SuccessorGenerator.hpp

src/main.cpp

Show diffs side-by-side

added added

removed removed

src/ReachabilityChecker/Successor.hpp

1

1

#ifndef SUCCESSOR_HPP_

2

2

#define SUCCESSOR_HPP_

3

3

4

#include "TraceInfo.hpp"

4

#include "Trace/TraceInfo.hpp"

5

5

6

6

namespace VerifyTAPN

7

7

{

Older »