Package daikon.inv.binary.twoString

Class Summary

StdString	Baseclass for binary numeric invariants.
StdString.SubString	Represents the substring invariant between two String scalars.
StringEqual	Represents an invariant of "==" between two String scalars.
StringGreaterEqual	Represents an invariant of ">=" between two String scalars.
StringGreaterThan	Represents an invariant of ">" between two String scalars.
StringLessEqual	Represents an invariant of "<=" between two String scalars.
StringLessThan	Represents an invariant of "<" between two String scalars.
StringNonEqual	Represents an invariant of "!
TwoString	Base class for two variable String invariants.