Interface | Description |
---|---|
EdgeLabels<E,L> |
Edge label context, for
Graph s with labeled edges. |
EdgeWeights<E> |
Edge weights concepts.
|
InitialNode<N> |
Initial node concept.
|
KripkeInterpretation<N,AP> |
A Kripke interpretation for a graph.
|
NodeAcceptance<N> |
Node acceptance concept, for
Graph s that represent a structure for
deciding acceptance or rejection. |
NodeIDs<N> |
Copyright © 2015. All rights reserved.