org.eclipse.viatra.dse.statecode
Interfaces
IStateCoder
IStateCoderFactory