verigraph-1.1.1: Software specification and verification tool based on graph rewriting.

Index - U

ULogic.Ctl
uniqueOriginTypedGraph.DPO.GraphProcess
untypedEdgesTypedGraph.Graph
untypedGraphTypedGraph.Graph
untypedNodesTypedGraph.Graph
untypedUpdateNodeRelationTypedGraph.Morphism
updateCodomainGraph.GraphMorphism
updateDomainGraph.GraphMorphism
updateEdgePayloadGraph.Graph
updateEdgeRelation 
1 (Function)Graph.GraphMorphism
2 (Function)TypedGraph.Morphism
updateEdgesGraph.GraphMorphism
updateNodePayloadGraph.Graph
updateNodeRelation 
1 (Function)Graph.GraphMorphism
2 (Function)TypedGraph.Morphism
updateNodesGraph.GraphMorphism
updateRelationAbstract.Relation