Package jline.lang.state

Class State.StateSpaceGeneratorResult.QNC

java.lang.Object

jline.lang.state.State.StateSpaceGeneratorResult.QNC

Enclosing class:

State.StateSpaceGeneratorResult

public static class State.StateSpaceGeneratorResult.QNC
extends Object

Field Summary

Fields

Modifier and Type	Field	Description
Map<StatefulNode,Matrix>	space
Map<StatefulNode,Map<String,Integer>>	spaceHash

Constructor Summary

Constructors

Constructor	Description
QNC()

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Details

space

public Map<StatefulNode,Matrix> space

spaceHash

public Map<StatefulNode,Map<String,Integer>> spaceHash

Constructor Details

QNC

public QNC()