Package daikon.inv.unary.stringsequence

Class Summary

Class	Description
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 for invariants over one variable of type String[].