DisjReady.DisjDomain
include AbstractDomain.Comparable
include IStdlib.PrettyPrintable.PrintableType
val pp : IStdlib.PrettyPrintable.F.formatter -> t -> unit
equal_fast x y
must imply x <=> y
; it's a good idea for this function to be "fast", e.g. not depend on the size of its input
val is_normal : t -> bool
test if the abstract state represents exactly concrete states
val is_exceptional : t -> bool
test if the abstract state represents exactly exceptional concrete states
val is_executable : t -> bool
test if the abstract state represents executable states, e.g. ContinueProgram
or ExceptionRaised
.