Package daikon.inv.binary.sequenceString

Class Summary

Class	Description
MemberString	Represents String scalars that are always members of a sequence of String values.
SequenceString	Abstract base class for comparing String sequences to String variables.