it.unitn.disi.smatch

Interfaces  IMatchManager

Classes  MatchManager SMatchConstants

Exceptions  SMatchException