org.eclipse.viatra.dse.statecoding

Interfaces

• IObjectsProvider
• IObjectsProviderFactory

Classes

• IncrementalObjectProvider
• IncrementalObjectProviderFactory
• StatecodingDependency
• StatecodingDependencyGraph
• StatecodingNode
• TheStateCoder
• TheStateCoderFactory

Enums

• StatecodingDependencyType
• StatecodingNodeType