|
Jedit 4.1 | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| edu.bsu.* |
| edu.bsu.cs.graph.JavaGraph | ||
public static final int |
DIGRAPH |
1 |
public static final int |
GRAPH |
0 |
public static final int |
MULTIGRAPH |
2 |
public static final int |
POLYGON |
3 |
| edu.bsu.cs.gui.AnimObject | ||
public static final int |
DELAY |
2 |
public static final int |
EDGE |
1 |
public static final int |
TEXT |
3 |
public static final int |
VERTEX |
0 |
| edu.bsu.cs.gui.JeditFrame | ||
public static final String |
baseTitle |
"Jedit 4.1" |
public static final double |
DEFAULT_EDGE_WEIGHT |
1.0d |
public static final double |
DEFAULT_VERTEX_WEIGHT |
0.0d |
public static final String |
NEWFILENAME |
"newgraph.gph" |
| edu.bsu.cs.gui.JeditPanel | ||
public static final int |
ADDARC |
2 |
public static final int |
ADDEDGE |
1 |
public static final int |
ADDVERTEX |
0 |
public static final int |
AUTOMATICALGORITHM |
8 |
public static final int |
MOVETHINGS |
3 |
public static final int |
NOTHING |
4 |
public static final int |
ONECLICKALGORITHM |
5 |
public static final int |
TEXTINPUTALGORITHM |
6 |
public static final int |
TWOCLICKALGORITHM |
7 |
|
Jedit 4.1 | |||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||