Uses of Class
drvgraph.j2d.ClassPattern

Uses of ClassPattern in drvgraph.j2d
 

Methods in drvgraph.j2d that return types with arguments of type ClassPattern
 java.util.Vector<ClassPattern> ClassBox.getClassPatterns()
          Returns the vector, containing the class patterns included in the class box.
 

Methods in drvgraph.j2d with parameters of type ClassPattern
 void ClassBox.addClassPattern(ClassPattern cp)
          Adds the specified class pattern to the end of the class pattern vector, increasing its size by one.
 void ClassBox.removeClassPattern(ClassPattern cp)
          Removes the specified class pattern from the class pattern vector, reducing its size by one.
 

Method parameters in drvgraph.j2d with type arguments of type ClassPattern
 void ClassBox.setClassPatterns(java.util.Vector<ClassPattern> classPatterns)
          Sets the class pattern vector of the specific class box.
 

Constructors in drvgraph.j2d with parameters of type ClassPattern
Connection(ClassPattern in, boolean neg, Rule out)
          Constructs a connection commencing from a class pattern and landing on a rule circle.
Connection(ClassPattern in, Naf out)
          Constructs a connection commencing from a class pattern and landing on a naf triangle.
Connection(Rule in, ClassPattern out, boolean neg)
          Constructs a connection commencing from a rule circle and landing on a class pattern.
 

Constructor parameters in drvgraph.j2d with type arguments of type ClassPattern
ClassBox(java.lang.String cn, java.util.Vector<ClassPattern> cp)
          Creates a class box with a defined class name and a given vector of class patterns.