← Back to branch summary

~peter-gjoel/verifydtapn/PTrieWorkflow

~peter-gjoel/verifydtapn/PTrieWorkflow

« back to all changes in this revision

Viewing changes to src/DiscreteVerification/DataStructures/binarywrapper.h

Committer: Peter Gjøl Jensen
Date: 2015-06-22 22:14:57 UTC
Revision ID: peter.gjoel@gmail.com-20150622221457-ihkp7ph43etwgceq

conforms to previous branch

files modified:
makefile.linux64

src/DiscreteVerification/DataStructures/WaitingList.cpp

src/DiscreteVerification/DataStructures/WaitingList.hpp

src/DiscreteVerification/DataStructures/binarywrapper.h

src/DiscreteVerification/VerificationTypes/Workflow.hpp

src/DiscreteVerification/VerificationTypes/WorkflowSoundness.cpp

src/DiscreteVerification/VerificationTypes/WorkflowStrongSoundness.cpp

Show diffs side-by-side

added added

removed removed

src/DiscreteVerification/DataStructures/binarywrapper.h

9

9

#include <stdio.h>

10

10

#include <iostream>

11

11

#include <string.h>

12

#include <assert.h>

12

13

13

14

#ifndef BINARYWRAPPER_H

14

15

#define BINARYWRAPPER_H

Older »