← Back to branch summary

~tapaal-ltl/verifypn/resumable-suc-generator

« back to all changes in this revision

Viewing changes to include/LTL/Structures/ProductState.h

  • Committer: Nikolaj Jensen Ulrik
  • Date: 2020-10-02 07:29:04 UTC
  • Revision ID: nikolaj@njulrik.dk-20201002072904-19ukz6i8igvd73wr
Initial working version of NDFS

Show diffs side-by-side

added added

removed removed

Lines of Context:
include/LTL/Structures/ProductState.h
37
37
        }
38
38
 
39
39
        bool operator==(const ProductState &rhs) const {
40
 
            return static_cast<const PetriEngine::Structures::State &>(*this) ==
 
40
            for (int i = 0; i <= buchi_state_idx; ++i) {
 
41
                if (marking()[i] != rhs.marking()[i]) {
 
42
                    return false;
 
43
                }
 
44
            }
 
45
            return true;
 
46
/*            return static_cast<const PetriEngine::Structures::State &>(*this) ==
41
47
                   static_cast<const PetriEngine::Structures::State &>(rhs) &&
42
 
                   getBuchiState() == rhs.getBuchiState();
 
48
                   getBuchiState() == rhs.getBuchiState();*/
43
49
        }
44
50
 
45
51
        bool operator!=(const ProductState &rhs) const {