@MetaInfServices(value=Service.class) @Alias(value="trapspace") @ServiceStatus(value=RELEASED) public class TrapSpaceServiceWrapper extends Object implements Service
Constructor and Description |
---|
TrapSpaceServiceWrapper()
This constructor should be called by the service manager,
other users will have to get the first instance
|
Modifier and Type | Method and Description |
---|---|
org.colomoto.biolqm.tool.trapspaces.TrapSpaceTask |
getTask(org.colomoto.biolqm.LogicalModel model) |
Copyright © 2005–2020. All rights reserved.