~verifytapn/verifytapn/1.0

« back to all changes in this revision

Viewing changes to src/Core/VerificationEngine.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/Core/VerificationEngine.hpp

#ifndef VERIFICATIONENGINE_HPP_

#define VERIFICATIONENGINE_HPP_

#include "../TAPN/TimedArcPetriNet.hpp"

#include "VerificationOptions.hpp"

using namespace VerifyTAPN::TAPN;

namespace VerifyTAPN {

class VerificationEngine {

public: // construction

VerificationEngine(const TimedArcPetriNet& tapn, const VerificationOptions& vo) : tapn(tapn), vo(vo) { };

virtual ~VerificationEngine() { };

public:

void Verify();

public: // inspectors

const TimedArcPetriNet& GetModel() const;

const VerificationOptions& GetVerificationOptions() const;

private: // data

TimedArcPetriNet tapn;

VerificationOptions vo;

};

}

#endif /* VERIFICATIONENGINE_HPP_ */

Older »