コード例 #1
0
ファイル: GraphDumper.cs プロジェクト: tmaierhofer/grgen
 public VirtualNodeType()
     : base(0)
 {
     subOrSameGrGenTypes = superOrSameGrGenTypes = subOrSameTypes = superOrSameTypes
                                                                        = new NodeType[] { this };
 }
コード例 #2
0
 public void SetNodeTypeShape(NodeType nodeType, GrNodeShape shape)
 {
     nodeTypeShapes[nodeType] = shape;               // overwrites existing mapping
     NodeTypeAppearanceChanged(nodeType);
 }
コード例 #3
0
ファイル: IndexDescription.cs プロジェクト: tmaierhofer/grgen
 public IncidenceCountIndexDescription(string name, IncidenceDirection direction,
                                       NodeType startNodeType, EdgeType incidentEdgeType, NodeType adjacentNodeType)
     : base(name)
 {
     Direction        = direction;
     StartNodeType    = startNodeType;
     IncidentEdgeType = incidentEdgeType;
     AdjacentNodeType = adjacentNodeType;
 }
コード例 #4
0
 public void SetNodeTypeTextColor(NodeType nodeType, GrColor color)
 {
     nodeTypeTextColors[nodeType] = color;           // overwrites existing mapping
     NodeTypeAppearanceChanged(nodeType);
 }
コード例 #5
0
 public bool IsExcludedNodeType(NodeType nodeType)
 {
     return(excludedNodeTypes.ContainsKey(nodeType));
 }
コード例 #6
0
 public void ExcludeNodeType(NodeType nodeType)
 {
     excludedNodeTypes.Add(nodeType, true);
 }
コード例 #7
0
 /// <summary>
 /// Initializes a GroupNodeType.
 /// </summary>
 /// <param name="nodeType">The node type of this group node type.</param>
 /// <param name="priority">The priority to be used, when two group node types apply to one edge.</param>
 public GroupNodeType(NodeType nodeType, int priority)
 {
     NodeType = nodeType;
     Priority = priority;
 }
コード例 #8
0
ファイル: SetHelper.cs プロジェクト: GunterMueller/grgen
 public static void FillSetWithNode <K>(Dictionary <K, SetValueType> targetSet, NodeType nodeType, IDictionary sourceSet)
 {
     foreach (DictionaryEntry entry in sourceSet)
     {
         INode node = entry.Key as INode;
         if (node == null)
         {
             continue;
         }
         if (node.InstanceOf(nodeType))
         {
             targetSet.Add((K)entry.Key, (SetValueType)entry.Value);
         }
     }
 }