daikon.inv

Class Invariant.Match