public class Glue
extends java.lang.Object
Constructor and Description |
---|
Glue(float space,
float stretch,
float shrink,
java.lang.String name) |
Modifier and Type | Method and Description |
---|---|
static Box |
get(int lType,
int rType,
TeXEnvironment env)
Creates a box representing the glue type according to the "glue rules" based
on the atom types between which the glue must be inserted.
|
java.lang.String |
getName()
Name of this glue object.
|
public Glue(float space, float stretch, float shrink, java.lang.String name)
public java.lang.String getName()
public static Box get(int lType, int rType, TeXEnvironment env)
lType
- left atom typerType
- right atom typeenv
- the TeXEnvironment