On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package bap-primus-track-visited
Parameters
Signature
val mem : Bap.Std.tid -> bool Machine.tmem tid is if a term with tid was visited.
A term with the term identifier tid is visited if some machine posted an enter-term event with this tid, or if it was marked with the visited attribute, or if it was forcefully added to the visited set with the add function.
val add : Bap.Std.tid -> unit Machine.tadd tid forcefully adds tid to the set of visited terms.
Does nothing if tid is already visited.
val del : Bap.Std.tid -> unit Machine.tdel tid forcefully removes tid from the set of visited terms.
Does nothing if it wasn't visited.
val all : Bap.Std.Tid.Set.t Machine.tall is the current set of all visited basic blocks.
On This Page