Package com.clarkparsia.pellet.datatypes

Examples of com.clarkparsia.pellet.datatypes.OWLRealInterval

88
89
90
91
92
93
94
95
96
97
   * Verify that exclusive endpoints are not contained within the interval.
   * For integer only intervals with integer bounds.
   */
  @Test
  public void exclusiveEndpointsOnly() {
    final OWLRealInterval interval = interval( -1, 3, false, false, LineType.INTEGER_ONLY );
    assertFalse( interval.contains( -1 ) );
    assertFalse( interval.contains( 3 ) );
    assertTrue( interval.contains( 0 ) );
  }
View Full Code Here
99
100
101
102
103
104
105
106
  /**
   * Test getting a sub-interval greater than an integer on an integer line.
   */
  @Test
  public void greaterInt1() {
    final OWLRealInterval i = interval( 1, 5, true, true, LineType.INTEGER_ONLY );
    assertEquals( interval( 3, 5, true, true, LineType.INTEGER_ONLY ), i.greater( 2 ) );
  }
View Full Code Here
109
110
111
112
113
114
115
116
   * Test getting a sub-interval greater than the lower endpoint of an integer
   * line.
   */
  @Test
  public void greaterInt2() {
    final OWLRealInterval i = interval( 1, 5, true, true, LineType.INTEGER_ONLY );
    assertEquals( interval( 2, 5, true, true, LineType.INTEGER_ONLY ), i.greater( 1 ) );
  }
View Full Code Here
119
120
121
122
123
124
125
126
127
128
   * Verify that inclusive endpoints are contained within the interval. For
   * continuous intervals.
   */
  @Test
  public void inclusiveEndpointsCon() {
    final OWLRealInterval interval = interval( -1.3, 2.5, true, true, LineType.CONTINUOUS );
    assertTrue( interval.contains( BigDecimal.valueOf( -1.3d ) ) );
    assertTrue( interval.contains( BigDecimal.valueOf( 2.5d ) ) );
    assertTrue( interval.contains( 0 ) );
  }
View Full Code Here
131
132
133
134
135
136
137
138
139
140
141
   * Verify that inclusive endpoints are contained within the interval. For no
   * integer intervals with non-integer bounds.
   */
  @Test
  public void inclusiveEndpointsNoI1() {
    final OWLRealInterval interval = interval( -1.3, 2.5, true, true, LineType.INTEGER_EXCLUDED );
    assertTrue( interval.contains( BigDecimal.valueOf( -1.3d ) ) );
    assertTrue( interval.contains( BigDecimal.valueOf( 2.5d ) ) );
    assertFalse( interval.contains( 0 ) );
    assertTrue( interval.contains( BigDecimal.valueOf( 0.1d ) ) );
  }
View Full Code Here
144
145
146
147
148
149
150
151
152
153
154
   * Verify that inclusive endpoints are not contained within the interval for
   * no integer intervals with integer bounds.
   */
  @Test
  public void inclusiveEndpointsNoI2() {
    final OWLRealInterval interval = interval( -1, 3, true, true, LineType.INTEGER_EXCLUDED );
    assertFalse( interval.contains( -1 ) );
    assertFalse( interval.contains( 3 ) );
    assertFalse( interval.contains( 0 ) );
    assertTrue( interval.contains( BigDecimal.valueOf( 0.1d ) ) );
  }
View Full Code Here
157
158
159
160
161
162
163
164
165
166
   * Verify that inclusive endpoints are contained within the interval. For
   * integer only intervals with integer bounds.
   */
  @Test
  public void inclusiveEndpointsOnly() {
    final OWLRealInterval interval = interval( -1, 3, true, true, LineType.INTEGER_ONLY );
    assertTrue( interval.contains( -1 ) );
    assertTrue( interval.contains( 3 ) );
    assertTrue( interval.contains( 0 ) );
  }
View Full Code Here
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
   * bounds an empty intersection is identified
   */
  @Test
  public void intersectionEmpty() {
    for( LineType t : LineType.values() ) {
      final OWLRealInterval a = interval( null, 0, false, true, t );
      final OWLRealInterval b = interval( 1, null, true, false, t );

      assertNull( a.intersection( b ) );
      assertNull( b.intersection( a ) );

      assertEquals( IntervalRelations.PRECEDES, a.compare( b ) );
      assertEquals( IntervalRelations.PRECEDED_BY, b.compare( a ) );
    }
  }
View Full Code Here
TOP

Related Classes of com.clarkparsia.pellet.datatypes.OWLRealInterval

  • com.clarkparsia.pellet.datatypes.test.OWLRealIntervalTests
  • java.util.NoSuchElementException
    • Copyright © 2018 www.massapicom. 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.