Package statechum

Examples of statechum.Label.toInt()

111
112
113
114
115
116
117
118
119
120
121
  {
    final Configuration conf = config.copy();conf.setLabelKind(LABELKIND.LABEL_STRING);
    final statechum.analysis.learning.rpnicore.Transform.InternStringLabel intern = null;
    final Label lbl = AbstractLearnerGraph.generateNewLabel("A", conf,intern);
    Helper.checkForCorrectException(new whatToRun() { public @Override void run() {
      lbl.toInt();
    }},UnsupportedOperationException.class,"string labels");
  }
 
 
  @Test
View Full Code Here
124
125
126
127
128
129
130
131
132
133
134
    final Configuration conf = config.copy();conf.setLabelKind(LABELKIND.LABEL_STRING);
    final statechum.analysis.learning.rpnicore.Transform.InternStringLabel intern = new statechum.analysis.learning.rpnicore.Transform.InternStringLabel();
    final Label lbl1 = intern.convertLabelToLabel(AbstractLearnerGraph.generateNewLabel("A", conf,intern));
    final Label lbl2 = intern.convertLabelToLabel(AbstractLearnerGraph.generateNewLabel("A", conf,intern));
    assertEquals(0,lbl1.toInt());
    assertEquals(0,lbl2.toInt());
    final Label lbl3 = intern.convertLabelToLabel(AbstractLearnerGraph.generateNewLabel("B", conf,intern));
    assertEquals(1,lbl3.toInt());   
  }
 
  @Test
View Full Code Here
126
127
128
129
130
131
132
133
134
135
136
    final Label lbl1 = intern.convertLabelToLabel(AbstractLearnerGraph.generateNewLabel("A", conf,intern));
    final Label lbl2 = intern.convertLabelToLabel(AbstractLearnerGraph.generateNewLabel("A", conf,intern));
    assertEquals(0,lbl1.toInt());
    assertEquals(0,lbl2.toInt());
    final Label lbl3 = intern.convertLabelToLabel(AbstractLearnerGraph.generateNewLabel("B", conf,intern));
    assertEquals(1,lbl3.toInt());   
  }
 
  @Test
  public final void testCreateErlangLabelFailure1()
  {
View Full Code Here
108
109
110
111
112
113
114
115
116
117
118
  public final void testCreateLabelIntern1()
  {
    final Configuration conf = config.copy();conf.setLabelKind(LABELKIND.LABEL_STRING);
    final Label lbl = AbstractLearnerGraph.generateNewLabel("A", conf);
    Helper.checkForCorrectException(new whatToRun() { public @Override void run() {
      lbl.toInt();
    }},UnsupportedOperationException.class,"string labels");
  }
 
 
  @Test
View Full Code Here
121
122
123
124
125
126
127
128
129
130
131
    final Configuration conf = config.copy();conf.setLabelKind(LABELKIND.LABEL_STRING);
    final statechum.analysis.learning.rpnicore.Transform.InternStringLabel intern = new statechum.analysis.learning.rpnicore.Transform.InternStringLabel();
    final Label lbl1 = intern.convertLabelToLabel(AbstractLearnerGraph.generateNewLabel("A", conf));
    final Label lbl2 = intern.convertLabelToLabel(AbstractLearnerGraph.generateNewLabel("A", conf));
    assertEquals(0,lbl1.toInt());
    assertEquals(0,lbl2.toInt());
    final Label lbl3 = intern.convertLabelToLabel(AbstractLearnerGraph.generateNewLabel("B", conf));
    assertEquals(1,lbl3.toInt());   
  }
 
  @Test
View Full Code Here
123
124
125
126
127
128
129
130
131
132
133
    final Label lbl1 = intern.convertLabelToLabel(AbstractLearnerGraph.generateNewLabel("A", conf));
    final Label lbl2 = intern.convertLabelToLabel(AbstractLearnerGraph.generateNewLabel("A", conf));
    assertEquals(0,lbl1.toInt());
    assertEquals(0,lbl2.toInt());
    final Label lbl3 = intern.convertLabelToLabel(AbstractLearnerGraph.generateNewLabel("B", conf));
    assertEquals(1,lbl3.toInt());   
  }
 
  @Test
  public final void testCreateErlangLabelFailure1()
  {
View Full Code Here
110
111
112
113
114
115
116
117
118
119
120
  public final void testCreateLabelIntern1()
  {
    final Configuration conf = config.copy();conf.setLabelKind(LABELKIND.LABEL_STRING);
    final Label lbl = AbstractLearnerGraph.generateNewLabel("A", conf);
    Helper.checkForCorrectException(new whatToRun() { public @Override void run() {
      lbl.toInt();
    }},UnsupportedOperationException.class,"string labels");
  }
 
 
  @Test
View Full Code Here
123
124
125
126
127
128
129
130
131
132
133
    final Configuration conf = config.copy();conf.setLabelKind(LABELKIND.LABEL_STRING);
    final statechum.analysis.learning.rpnicore.Transform.InternStringLabel intern = new statechum.analysis.learning.rpnicore.Transform.InternStringLabel();
    final Label lbl1 = intern.convertLabelToLabel(AbstractLearnerGraph.generateNewLabel("A", conf));
    final Label lbl2 = intern.convertLabelToLabel(AbstractLearnerGraph.generateNewLabel("A", conf));
    assertEquals(0,lbl1.toInt());
    assertEquals(0,lbl2.toInt());
    final Label lbl3 = intern.convertLabelToLabel(AbstractLearnerGraph.generateNewLabel("B", conf));
    assertEquals(1,lbl3.toInt());   
  }
 
  @Test
View Full Code Here
125
126
127
128
129
130
131
132
133
134
135
    final Label lbl1 = intern.convertLabelToLabel(AbstractLearnerGraph.generateNewLabel("A", conf));
    final Label lbl2 = intern.convertLabelToLabel(AbstractLearnerGraph.generateNewLabel("A", conf));
    assertEquals(0,lbl1.toInt());
    assertEquals(0,lbl2.toInt());
    final Label lbl3 = intern.convertLabelToLabel(AbstractLearnerGraph.generateNewLabel("B", conf));
    assertEquals(1,lbl3.toInt());   
  }
 
  @Test
  public final void testCreateErlangLabelFailure1()
  {
View Full Code Here
109
110
111
112
113
114
115
116
117
118
119
  {
    final Configuration conf = config.copy();conf.setLabelKind(LABELKIND.LABEL_STRING);
    final statechum.analysis.learning.rpnicore.Transform.InternStringLabel intern = null;
    final Label lbl = AbstractLearnerGraph.generateNewLabel("A", conf,intern);
    Helper.checkForCorrectException(new whatToRun() { public @Override void run() {
      lbl.toInt();
    }},UnsupportedOperationException.class,"string labels");
  }
 
 
  @Test
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.