|
||||||||||
PREV NEXT | FRAMES NO FRAMES |
Packages that use Vector | |
---|---|
facets.core.app.avatar | Core types for custom viewers. |
facets.util.geom | Plane geometry. |
Uses of Vector in facets.core.app.avatar |
---|
Methods in facets.core.app.avatar that return Vector | |
---|---|
Vector |
PlaneViewWorks.plotShift()
|
Vector |
PlaneView.plotShift()
The location of the viewport origin. |
Methods in facets.core.app.avatar with parameters of type Vector | |
---|---|
java.lang.Object[] |
DragPolicy.newSnapDropEdits(Point anchorAt,
Point dragAt,
Vector snapShift)
Variant method for use in snapping. |
Painter[] |
DragPolicy.newSnapPainters(Point anchorAt,
Point dragAt,
Vector snapShift)
Variant method for use in snapping. |
void |
PlaneViewWorks.setShowValues(double width,
double height,
Vector plotShift,
double scale)
|
void |
PlaneView.setShowValues(double width,
double height,
Vector plotShift,
double scale)
Set the view area. |
Constructors in facets.core.app.avatar with parameters of type Vector | |
---|---|
PlaneViewWorks(java.lang.String title,
double showWidth,
double showHeight,
Vector plotShift,
double scale,
AvatarPolicies avatars)
|
Uses of Vector in facets.util.geom |
---|
Methods in facets.util.geom that return Vector | |
---|---|
Vector |
Point.at()
|
Vector |
Point.jumpFrom(Point point)
|
Vector |
Vector.mean(Vector jump)
|
Vector |
Vector.minus(Vector jump)
|
Vector |
Vector.plus(Vector jump)
|
Vector |
Vector.scaled(double by)
|
Methods in facets.util.geom with parameters of type Vector | |
---|---|
Vector |
Vector.mean(Vector jump)
|
Vector |
Vector.minus(Vector jump)
|
Vector |
Vector.plus(Vector jump)
|
void |
Point.set(Vector to)
|
void |
Point.shift(Vector shift)
|
Point |
Point.shifted(Vector shift)
|
Constructors in facets.util.geom with parameters of type Vector | |
---|---|
Point(Vector src)
|
|
Vector(Vector src)
|
|
||||||||||
PREV NEXT | FRAMES NO FRAMES |