Package daikon.inv.unary.stringsequence

Class Summary

CommonStringSequence	Represents string sequences that contain a common subset.
EltOneOfString	Represents sequences of String values where the elements of the sequence take on only a few distinct values.
OneOfStringSequence	Represents String[] variables that take on only a few distinct values.
SingleStringSequence	Abstract base class used to evaluate single string sequences.