github_mirrors/vectorscan
3
0
Fork 1
mirror of https://github.com/VectorCamp/vectorscan.git synced 2025-11-20 10:56:40 +03:00
Code Issues Packages Projects Releases Wiki Activity

Rose: allow DR literals to share vertices

Browse Source
This commit is contained in:
Justin Viiret
2016-02-16 17:14:13 +11:00
committed by Matthew Barr
parent 31dea6c275
commit cc5db61686
3 changed files with 26 additions and 16 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
src/rose/rose_build_impl.h
View File

@@ -440,8 +440,18 @@ public:
bool isDirectReport(u32 id) const;
bool isDelayed(u32 id) const;
/**
* \brief True if the given literal ID is a direct or multi-direct report.
*/
bool hasDirectFinalId(u32 id) const;
bool hasDirectFinalId(RoseVertex v) const;
/**
* \brief True if all the literals associated with the given vertex are
* direct or multi-direct reports.
*/
bool allDirectFinalIds(RoseVertex v) const;
bool hasFinalId(u32 id) const;
bool isAnchored(RoseVertex v) const; /* true iff has literal in anchored