|
|
@@ -290,7 +290,7 @@ public class MainView {
|
|
|
GridBagConstraints c = new GridBagConstraints();
|
|
|
c.gridx = 0;
|
|
|
c.gridy = 0;
|
|
|
- diag.add( new JLabel( "P(Subgraph exists)="), c );
|
|
|
+ diag.add( new JLabel( "P(subgraph exists)"), c );
|
|
|
c = new GridBagConstraints();
|
|
|
c.gridx = 1;
|
|
|
c.gridy = 0;
|
|
|
@@ -318,7 +318,7 @@ public class MainView {
|
|
|
c = new GridBagConstraints();
|
|
|
c.gridx = 0;
|
|
|
c.gridy = 1;
|
|
|
- diag.add( new JLabel( "P(Edge exists)="), c );
|
|
|
+ diag.add( new JLabel( "P(edge exists)"), c );
|
|
|
c = new GridBagConstraints();
|
|
|
c.gridx = 1;
|
|
|
c.gridy = 1;
|
|
|
@@ -346,7 +346,7 @@ public class MainView {
|
|
|
c = new GridBagConstraints();
|
|
|
c.gridx = 0;
|
|
|
c.gridy = 2;
|
|
|
- diag.add( new JLabel( "Minimal Layers="), c );
|
|
|
+ diag.add( new JLabel( "min. num. layers"), c );
|
|
|
c = new GridBagConstraints();
|
|
|
c.gridx = 1;
|
|
|
c.gridy = 2;
|
|
|
@@ -378,7 +378,7 @@ public class MainView {
|
|
|
c = new GridBagConstraints();
|
|
|
c.gridx = 0;
|
|
|
c.gridy = 3;
|
|
|
- diag.add( new JLabel( "Maximal Layers="), c );
|
|
|
+ diag.add( new JLabel( "max. num. layers"), c );
|
|
|
c = new GridBagConstraints();
|
|
|
c.gridx = 1;
|
|
|
c.gridy = 3;
|
|
|
@@ -408,14 +408,14 @@ public class MainView {
|
|
|
c = new GridBagConstraints();
|
|
|
c.gridx = 0;
|
|
|
c.gridy = 4;
|
|
|
- diag.add( new JLabel( "Minimal Nodes="), c );
|
|
|
+ diag.add( new JLabel( "min. num. nodes"), c );
|
|
|
c = new GridBagConstraints();
|
|
|
c.gridx = 1;
|
|
|
c.gridy = 4;
|
|
|
JTextField minNodes = new JTextField( "5" );
|
|
|
JTextField maxNodes = new JTextField( "5" );
|
|
|
minNodes.setPreferredSize( new Dimension( 100, 20 ) );
|
|
|
- minNodes.setToolTipText( "Zwischen 1 und 'Maximal Nodes'" );
|
|
|
+ minNodes.setToolTipText( "between 1 and 'min. num. nodes'" );
|
|
|
minNodes.addFocusListener( new FocusListener() {
|
|
|
@Override
|
|
|
public void focusGained(FocusEvent e) {
|
|
|
@@ -441,12 +441,12 @@ public class MainView {
|
|
|
c = new GridBagConstraints();
|
|
|
c.gridx = 0;
|
|
|
c.gridy = 5;
|
|
|
- diag.add( new JLabel( "Maximal Nodes="), c );
|
|
|
+ diag.add( new JLabel( "max. num. nodes"), c );
|
|
|
c = new GridBagConstraints();
|
|
|
c.gridx = 1;
|
|
|
c.gridy = 5;
|
|
|
maxNodes.setPreferredSize( new Dimension( 100, 20 ) );
|
|
|
- maxNodes.setToolTipText( "Zwischen 'Minimal Nodes' und unendlich" );
|
|
|
+ maxNodes.setToolTipText( "between 'min. num. nodes' and +Inf" );
|
|
|
maxNodes.addFocusListener( new FocusListener() {
|
|
|
@Override
|
|
|
public void focusGained(FocusEvent e) {
|
|
|
@@ -472,13 +472,13 @@ public class MainView {
|
|
|
c = new GridBagConstraints();
|
|
|
c.gridx = 0;
|
|
|
c.gridy = 6;
|
|
|
- diag.add( new JLabel( "Maximal depth="), c );
|
|
|
+ diag.add( new JLabel( "max. hier. depth"), c );
|
|
|
c = new GridBagConstraints();
|
|
|
c.gridx = 1;
|
|
|
c.gridy = 6;
|
|
|
JTextField maxDepth = new JTextField( "1" );
|
|
|
maxDepth.setPreferredSize( new Dimension( 100, 20 ) );
|
|
|
- maxDepth.setToolTipText( "Zwischen 1 und unendlich" );
|
|
|
+ maxDepth.setToolTipText( "between 1 and +Inf" );
|
|
|
maxDepth.addFocusListener( new FocusListener() {
|
|
|
@Override
|
|
|
public void focusGained(FocusEvent e) {
|
