Class Summary |
DiagramElementFilter |
A Filter that check if the selected Element is a DiagramElement
Creation 31 mars 2006 |
DiagramFilter |
A Filter that check if the selected Element is a Diagram
Creation 31 mars 2006 |
GraphEdgeFilter |
A Filter that check if the selected Element is a GraphEdge
Creation 03 avril 2006 |
GraphElementFilter |
A Filter that check if the selected Element is a GraphElement
Creation 31 mars 2006 |
GraphNodeFilter |
A Filter that check if the selected Element is a GraphNode
Creation 31 mars 2006 |
Copyright (c) 2005 TOPCASED Contributors 2005 - 2007. All rights reserved.