This PR implements the first part of implementation of reluctant replace operations for string solving. This PR includes implementation of functions to create reluctant NFAs and NFTs which perform the reluctant match of a regex, and reluctant replacement operations (for replace_re_all() and replace_re() operations), respectively. Furthermore, the PR implements creation of begin marker DFT which precedes the reluctant replace NFT in reluctant replace modelling.
This PR implements the first part of implementation of reluctant replace operations for string solving. This PR includes implementation of functions to create reluctant NFAs and NFTs which perform the reluctant match of a regex, and reluctant replacement operations (for
replace_re_all()andreplace_re()operations), respectively. Furthermore, the PR implements creation of begin marker DFT which precedes the reluctant replace NFT in reluctant replace modelling.