public interface ModificationProvider
Modifier and Type | Method and Description |
---|---|
Modification |
getModification(String name)
Returns the modification with the given name name.
|
Modification getModification(String name)
name
- The name of the modification of interest.Copyright © 2021. All rights reserved.