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

Index - O

ObjAbstract.Morphism, Abstract.AdhesiveHLR
ObjectFlow 
1 (Type/Class)Grammar.Core
2 (Data Constructor)Grammar.Core
occurrenceRelationTypedGraph.DPO.GraphProcess
OnlyDependencyAnalysis.ConcurrentRules
Or 
1 (Data Constructor)Logic.Ctl
2 (Data Constructor)Abstract.Constraint, Abstract.AdhesiveHLR
originalRulesWithMatchesTypedGraph.DPO.GraphProcess
originRelationTypedGraph.DPO.GraphProcess
orphanEdgeIdsGraph.GraphMorphism
orphanEdgesGraph.GraphMorphism
orphanNodeIdsGraph.GraphMorphism
orphansAbstract.Relation
orphanTypedEdgeIdsTypedGraph.Morphism
orphanTypedEdgesTypedGraph.Morphism
orphanTypedNodeIdsTypedGraph.Morphism
outgoingEdgesGraph.Graph