Class Guards::AbstractValues::BooleanValue

A Boolean value.

Direct supertypes

Indirect supertypes

Predicates

branchImplies

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

getValue

Gets the underlying Boolean value.

toString

Gets a textual representation of this abstract value.