← Back to branch summary

~verifypn-stub/verifypn/deadlock-hotfix-2.2

« back to all changes in this revision

Viewing changes to CTL/DependencyGraph/Configuration.h

  • Committer: Jiri Srba
  • Date: 2017-12-04 14:01:52 UTC
  • mfrom: (181.4.11 nctl)
  • Revision ID: srba.jiri@gmail.com-20171204140152-3tjzqq6xusfq0wyj
merged in branch lp:~verifypn-stub/verifypn/new-ctl

Show diffs side-by-side

added added

removed removed

Lines of Context:
CTL/DependencyGraph/Configuration.h
18
18
 
19
19
class Configuration
20
20
{
21
 
    unsigned int distance = 0;
 
21
    uint32_t distance = 0;
22
22
public:
23
 
    typedef std::vector<Edge*> container_type;
24
23
 
25
 
    unsigned int getDistance() const { return distance; }
26
 
    void setDistance(unsigned int value) { distance = value; }
 
24
    uint32_t getDistance() const { return distance; }
 
25
    void setDistance(uint32_t value) { distance = value; }
27
26
 
28
27
    Configuration() {}
29
28
    virtual ~Configuration();
30
29
 
31
 
    //Removes a single instance of a successor
32
 
    //Should not have multiple equal successors
33
 
    void removeSuccessor(Edge *t_successor);
34
 
 
35
 
    virtual std::string toString() const;
36
 
    std::string attrToString() const;
37
 
    static std::string assignmentToStr(Assignment a);
38
 
    virtual void printConfiguration() const;
39
 
 
40
30
    bool isDone() const { return assignment == ONE || assignment == CZERO; }
41
31
 
42
32
    Assignment assignment = UNKNOWN;
43
 
    container_type successors = container_type(0);
 
33
    uint32_t owner = 0;
 
34
    size_t nsuccs = 0;
44
35
    std::vector<Edge*> dependency_set;
45
36
};
46
37