Package it.unive.lisa.symbolic.value.operator

Interface StringOperator

All Superinterfaces:

Operator

All Known Implementing Classes:

StringConcat, StringContains, StringEndsWith, StringEquals, StringIndexOf, StringLength, StringOperation, StringReplace, StringStartsWith, StringSubstring

public interface StringOperator
extends Operator

An operation manipulating one or more values of type StringType.