public class ContextStatePathDescriptor extends Object
Constructor and Description |
---|
ContextStatePathDescriptor(TreeMap<ContextStatePathKey,ContextStatePathValue> paths,
Map<Integer,ContextPartitionDescriptor> contextPartitionInformation) |
Modifier and Type | Method and Description |
---|---|
Map<Integer,ContextPartitionDescriptor> |
getContextPartitionInformation() |
TreeMap<ContextStatePathKey,ContextStatePathValue> |
getPaths() |
public ContextStatePathDescriptor(TreeMap<ContextStatePathKey,ContextStatePathValue> paths, Map<Integer,ContextPartitionDescriptor> contextPartitionInformation)
public TreeMap<ContextStatePathKey,ContextStatePathValue> getPaths()
public Map<Integer,ContextPartitionDescriptor> getContextPartitionInformation()