Interface for back-propagating regex constraints over n-ary functions f.
Representation of x = replaceall(y, a, z) where a is a single character.
Representation of x = replaceall(y, tran, z) where tran is a transducer that replaces parts of the word to be replaced with internalChar.
Representation of x = replace(y, tran, z) where tran is a transducer that replaces part of the word to be replaced with internalChar.
Representation of x = replace(y, tran, z) where tran is a transducer that replaces part of the word to be replaced with internalChar. Build with companion object ReplacePreOpWord or ReplacePreOpTran
Representation of x = T(y)
Representation of x = T(y)
Pre-image computation for the concatenation operator.
Companion class for building representation of x = replaceall(y, e, z) for a regular expression e.
Companion object for ReplaceAllPreOpWord, does precomputation of transducer representation of word
Companion class for building representation of x = replace(y, e, z) for a regular expression e.
Companion object for ReplacePreOpWord, does precomputation of transducer representation of word
Pre-image computation for the reverse operator.
Representation of x = replaceall(y, tran, z) where tran is a transducer that replaces parts of the word to be replaced with internalChar. Build with companion object ReplaceAllPreOpWord or ReplaceAllPreOpTran