Index - T
| target | Logic.Model |
| targetId | Graph.Graph |
| targetOf | Graph.Graph |
| targetOfUnsafe | Graph.Graph |
| Temporal | Logic.Ctl |
| toKripkeStructure | Abstract.DPO.StateSpace |
| Transition | |
| 1 (Type/Class) | Logic.Model |
| 2 (Data Constructor) | Logic.Model |
| transitionId | Logic.Model |
| transitionIds | Logic.Model |
| transitionPayload | Logic.Model |
| transitions | |
| 1 (Function) | Logic.Model |
| 2 (Function) | Abstract.DPO.StateSpace |
| typedEdges | TypedGraph.Graph |
| TypedGraph | TypedGraph.Graph |
| TypedGraphMorphism | TypedGraph.Morphism |
| typedNodes | TypedGraph.Graph |
| typeGraph | TypedGraph.Graph |
| typing | Abstract.DPO.Process, Abstract.DPO |