Package daikon.inv.unary.string

Class Summary

Class	Description
CompleteOneOfString	Tracks every unique value and how many times it occurs.
CompleteOneOfString.Info	Information about each value encountered.
OneOfString	Represents String variables that take on only a few distinct values.
PrintableString	Represents a string that contains only printable ascii characters (values 32 through 126 plus 9 (tab).
SingleString	Abstract base class for invariants over one variable of type String.