QSDL-TL/TLNode.h at master · Diefenbruch/QSDL-TL · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
/* File:            TLNode.h
   Author:          Axel Hirche, Marc Diefenbruch
   Project:         QUEST
   Date:            (C) 1997, 1998 University of Essen, All rights reserved.
*/

#ifndef _TLNODE_H_
#define _TLNODE_H_

#include "TL.h"
#include "TLFormula.h"
#include "TLFormulaSet.h"
#include "TLState.h"

class TLNode
{
  friend class TLState;
  friend class SCStream& operator<< (class SCStream&, TLNode&);


  public:

    TLNode (      TLFormulaSet* NewSet,           // Set of unprocessed
                                                  // formulae.
                  TLFormulaSet* NowSet,           // Set of formulae that have
                                                  // to be valid in this state.
                  TLFormulaSet* NextSet,          // Set of formulae, that have
                                                  // to be valid in the next
                                                  // state.
            class TLStateList*  incoming,         // A node can have more than
                                                  // one incoming edge.
                  SCBoolean     isInit = false);  // True if initial node.

    TLNode (const TLNode*);                       // Copy constructor.

    ~TLNode (void);

          TLFormulaSet* GetNew (void) const;
          TLFormulaSet* GetNow (void) const;
          TLFormulaSet* GetNext (void) const;

          SCBoolean     IsInitial (void) const;
          SCBoolean     SetIsInitial (SCBoolean b);

    class TLStateList*  GetIncoming (void);
          SCBoolean     SetIncoming (class TLStateList* s);

          SCNatural     GetName (void) const;

          SCBoolean     operator== (const TLState&) const;
          SCBoolean     operator!= (const TLState&) const;

  private:
          TLNode (void);                          // Forbidden!
          TLNode (const TLNode&);                 // Forbidden!

          TLFormulaSet* newSet;
          TLFormulaSet* nowSet;
          TLFormulaSet* nextSet;
          SCBoolean     isInitial;
    class TLStateList*  incoming;

          SCNatural      name;

   static SCNatural nextName;
};

class SCStream& operator<< (class SCStream&, TLNode&);
class SCStream& operator<< (class SCStream&, TLNode*);

#if _TL_INLINING_
#include "TLNode.inl.h"
#endif

#endif // _TLSTATE_H_