pf complement of ct?

[Bart Bogaerts]

When testing for consistency of a structure i wanted to test

// Assert(not _pf->contains(*ctIterator));

However, in many cases this assertion fails. Shouldn't it be an invariant that ct is the complement of pf (for any predinter)?

[Bart Bogaerts]

fixes issue 8: added Assert in isConsistent and called isConsistent in the mxtest

→ 6139fa16202d

[Broes De Cat]

fixes issue 8: added Assert in isConsistent and called isConsistent in the mxtest

→ 6139fa16202d

[Broes De Cat]

Removing milestone: First Release 25/12/2011 (automated comment)