← Back to branch summary

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

« back to all changes in this revision

Viewing changes to src/PetriEngine/Structures/AlignedEncoder.cpp

  • Committer: Nikolaj Jensen Ulrik
  • Date: 2020-10-05 10:15:17 UTC
  • Revision ID: nikolaj@njulrik.dk-20201005101517-470ai9qv2lukms08
Seemingly working NDFS algorithm

Show diffs side-by-side

added added

removed removed

Lines of Context:
src/PetriEngine/Structures/AlignedEncoder.cpp
369
369
        size_t indirect = _psize+pwt*(_psize+tsize);   
370
370
        size_t bvindirect = scratchpad_t::bytes(_places)+pwt*tsize;
371
371
        size_t direct = _places*tsize;
372
 
        
 
372
 
373
373
        if(val < 4 && bvsize <= indirect && bvsize <= bvindirect)
374
374
        {
375
375
            return DBOUND+1;