Class Guards::AbstractValue

An abstract value.

Direct supertypes

Known direct subtypes

Predicates

branchImplies

Holds if taking the s branch out of cfe implies that e has this value.

toString

Gets a textual representation of this abstract value.