Uses of Class
edu.mit.csail.sdg.alloy4.OurPDFWriter

Packages that use OurPDFWriter

edu.mit.csail.sdg.alloy4	This package contains general data structures and helper classes.
edu.mit.csail.sdg.alloy4graph	This package performs graph layout.

Uses of OurPDFWriter in edu.mit.csail.sdg.alloy4

Methods in edu.mit.csail.sdg.alloy4 that return OurPDFWriter

OurPDFWriter	OurPDFWriter.drawCircle(int radius, boolean fillOrNot) Draws a circle of the given radius, centered at (0, 0).
OurPDFWriter	OurPDFWriter.drawLine(int x1, int y1, int x2, int y2) Draws a line from (x1, y1) to (x2, y2).
OurPDFWriter	OurPDFWriter.drawShape(java.awt.Shape shape, boolean fillOrNot) Draws a shape.
OurPDFWriter	OurPDFWriter.setBoldLine() Changes the line style to be bold.
OurPDFWriter	OurPDFWriter.setColor(java.awt.Color color) Changes the color for subsequent graphical drawing.
OurPDFWriter	OurPDFWriter.setDashedLine() Changes the line style to be dashed.
OurPDFWriter	OurPDFWriter.setDottedLine() Changes the line style to be dotted.
OurPDFWriter	OurPDFWriter.setNormalLine() Changes the line style to be normal.
OurPDFWriter	OurPDFWriter.shiftCoordinateSpace(int x, int y) Shifts the coordinate space by the given amount.

Uses of OurPDFWriter in edu.mit.csail.sdg.alloy4graph

Constructors in edu.mit.csail.sdg.alloy4graph with parameters of type OurPDFWriter

Artist(OurPDFWriter pdfWriter)
Construct an artist that acts as a wrapper around the given OurPDFWriter object.