Data.Macaw.AbsDomain.Refine

Description

This defines operations that use assertions to refine state.

Synopsis

Documentation

Constraints needed for refinement on abstract states.

Arguments

:: (RegisterInfo (ArchReg arch), OrdF (ArchReg arch), HasRepr (ArchReg arch) TypeRepr)
=> Value arch ids BoolType	Condition known to be true/false.
-> Bool	Indicates whether the Boolean above is true/false.
-> AbsProcessorState (ArchReg arch) ids
-> AbsProcessorState (ArchReg arch) ids

This uses an assertion about a given value being true or false to refine the information in an abstract processor state.