Assertion(bool b, int v1, int v2, LongInteger l) | StraightLineProgramWord::Assertion | [inline] |
operator<(const Assertion &A) const | StraightLineProgramWord::Assertion | [inline] |
operator<<(ostream &os, const Assertion &A) | StraightLineProgramWord::Assertion | [friend] |
similar(const Assertion &A) const | StraightLineProgramWord::Assertion | [inline] |
theBase1 | StraightLineProgramWord::Assertion | |
theLength | StraightLineProgramWord::Assertion | |
theVertex1 | StraightLineProgramWord::Assertion | |
theVertex2 | StraightLineProgramWord::Assertion |