lc | Abstract.Constraint, Abstract.AdhesiveHLR |
leftMatch | Analysis.Interlevel.EvolutionarySpans |
Literal | Logic.Ctl |
lookupEdge | Graph.Graph |
lookupEdgeInContext | Graph.Graph |
lookupNode | Graph.Graph |
lookupNodeInContext | Graph.Graph |
lookupState | Logic.Model |
lookupTransition | Logic.Model |