Package it.unive.lisa.util.datastructures.regex.symbolic

Class Summary

Class	Description
SymbolicChar	An symbolic character, that is, an object representing a single and possibly unknown character.
SymbolicString	An extended string, that is, a string composed of an array of SymbolicChar.
UnknownSymbolicChar	An SymbolicChar representing an unknown character.