ru.ispras.retrascope.engine.efsm.extractor.assertion
Classes
EfsmTransitionAssertExtractor
EfsmTransitionAssertVisitor