org.eclipse.viatra.dse.statecoding.simple
Classes
SimpleStateCoder
SimpleStateCoderFactory