search

anilpacaci / rpq

Apache License 2.0
3 stars 1 forks source link

Compact Marking Representation #14

Open anilpacaci opened 4 years ago

anilpacaci commented 4 years ago

For RSPQ, each node maintains two separate hashets for first markings and current markings. This information can be captured in compact, vector based representation