Package daikon.inv.ternary

Class Summary

Class	Description
TernaryInvariant	Exists simply to provide a more intelligent TernaryInvariant.resurrect_done(int[]) method.