Package daikon.inv.binary.sequenceString

Class Summary
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.