Given known regex constraints for function arguments and function result, derive a sequence of regex constraints for the arguments such that
Given known regex constraints for function arguments and function result, derive a sequence of regex constraints for the arguments such that
If the result depends on the given argumentConstraints
,
then the used constraints also have to be returned as second result
component.
Evaluate the described function; return None
if the
function is not defined for the given arguments.
Evaluate the described function; return None
if the
function is not defined for the given arguments.
Given constraints on the input variables, produce an over-approximation constraint on the output.
Given constraints on the input variables, produce an over-approximation constraint on the output.
Generate a formula that approximates the length relationship between arguments and result.
Generate a formula that approximates the length relationship between
arguments and result. It is sound to just return true
.
Pre-image computation for the concatenation operator.