public class WidthVector
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
java.util.ArrayList<java.lang.Integer> |
end |
java.util.ArrayList<java.lang.Integer> |
start |
static boolean |
VERBOSE |
Constructor and Description |
---|
WidthVector() |
WidthVector(int start,
int end) |
Modifier and Type | Method and Description |
---|---|
void |
add(WidthVector w2) |
static WidthVector |
adjoin(WidthVector w1,
WidthVector w2,
int horiDistance) |
static int |
computeNecessaryDistance(WidthVector w1,
WidthVector w2) |
WidthVector |
copy() |
int |
getEnde(int level) |
int |
getStart(int level) |
int |
maximumLeftDistance() |
int |
maximumRightDistance() |
void |
moveAxis(int axisMovement) |
java.lang.String |
toString() |
public java.util.ArrayList<java.lang.Integer> start
public java.util.ArrayList<java.lang.Integer> end
public static boolean VERBOSE
public WidthVector()
public WidthVector(int start, int end)
public static WidthVector adjoin(WidthVector w1, WidthVector w2, int horiDistance)
public void add(WidthVector w2)
public void moveAxis(int axisMovement)
public int maximumLeftDistance()
public int maximumRightDistance()
public int getStart(int level)
public int getEnde(int level)
public static int computeNecessaryDistance(WidthVector w1, WidthVector w2)
w1
- (may be null)w2
- (may NOT be null)public WidthVector copy()
public java.lang.String toString()
toString
in class java.lang.Object