Examples of applyConstrainingFacet()

Examples of com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDatatype.applyConstrainingFacet()

780
781
782
783
784
785
786
787
788
789
790
  @Test
  public void minInclusiveFacetInt1() throws InvalidConstrainingFacetException {
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), null, null );
    dr = dr.applyConstrainingFacet( MIN_INCLUSIVE.getName(), 3 );

    assertFalse( dr.contains( BigDecimal.valueOf( Long.MIN_VALUE ).subtract(
        BigDecimal.valueOf( 0.1 ) ) ) );
    assertFalse( dr.contains( Long.MIN_VALUE ) );
    assertFalse( dr.contains( 0 ) );
View Full Code Here

Examples of com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDatatype.applyConstrainingFacet()

803
804
805
806
807
808
809
810
811
812
813
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval
        .allReals() );
    dr = dr.intersect( new RestrictedRealDatatype( dt, IntegerInterval.allIntegers(), null,
        null ), true );
    dr = dr.applyConstrainingFacet( MIN_INCLUSIVE.getName(), decimal( "3.5" ) );

    assertFalse( dr.contains( BigDecimal.valueOf( Long.MIN_VALUE ).subtract(
        BigDecimal.valueOf( 0.1 ) ) ) );
    assertFalse( dr.contains( Long.MIN_VALUE ) );
    assertFalse( dr.contains( 0 ) );
View Full Code Here

Examples of com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDatatype.applyConstrainingFacet()

824
825
826
827
828
829
830
831
832
833
834
  @Test
  public void minMaxIncIncCon1() throws InvalidConstrainingFacetException {
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval
        .allReals() );
    dr = dr.applyConstrainingFacet( MIN_INCLUSIVE.getName(), decimal( "2.5" ) );
    dr = dr.applyConstrainingFacet( MAX_INCLUSIVE.getName(), decimal( "3.5" ) );

    assertFalse( dr.contains( 2 ) );
    assertFalse( dr.contains( decimal( "2.4999" ) ) );
    assertTrue( dr.contains( decimal( "2.5" ) ) );
View Full Code Here

Examples of com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDatatype.applyConstrainingFacet()

825
826
827
828
829
830
831
832
833
834
835
  public void minMaxIncIncCon1() throws InvalidConstrainingFacetException {
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval
        .allReals() );
    dr = dr.applyConstrainingFacet( MIN_INCLUSIVE.getName(), decimal( "2.5" ) );
    dr = dr.applyConstrainingFacet( MAX_INCLUSIVE.getName(), decimal( "3.5" ) );

    assertFalse( dr.contains( 2 ) );
    assertFalse( dr.contains( decimal( "2.4999" ) ) );
    assertTrue( dr.contains( decimal( "2.5" ) ) );
    assertTrue( dr.contains( decimal( "2.5001" ) ) );
View Full Code Here

Examples of com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDatatype.applyConstrainingFacet()

842
843
844
845
846
847
848
849
850
851
852
  @Test
  public void minMaxIncIncInt1() throws InvalidConstrainingFacetException {
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), null, null );
    dr = dr.applyConstrainingFacet( MIN_INCLUSIVE.getName(), 25 );
    dr = dr.applyConstrainingFacet( MAX_INCLUSIVE.getName(), 35 );

    assertFalse( dr.contains( 24 ) );
    assertFalse( dr.contains( decimal( "24.999" ) ) );
    assertTrue( dr.contains( 25 ) );
View Full Code Here

Examples of com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDatatype.applyConstrainingFacet()

843
844
845
846
847
848
849
850
851
852
853
  @Test
  public void minMaxIncIncInt1() throws InvalidConstrainingFacetException {
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), null, null );
    dr = dr.applyConstrainingFacet( MIN_INCLUSIVE.getName(), 25 );
    dr = dr.applyConstrainingFacet( MAX_INCLUSIVE.getName(), 35 );

    assertFalse( dr.contains( 24 ) );
    assertFalse( dr.contains( decimal( "24.999" ) ) );
    assertTrue( dr.contains( 25 ) );
    assertFalse( dr.contains( decimal( "25.001" ) ) );
View Full Code Here

Examples of com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDatatype.applyConstrainingFacet()

863
864
865
866
867
868
869
870
871
872
873
    RestrictedDatatype<Number> dr = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval
        .allReals() );
    dr = dr.intersect( new RestrictedRealDatatype( dt, IntegerInterval.allIntegers(), null,
        null ), true );
    dr = dr.applyConstrainingFacet( MIN_INCLUSIVE.getName(), decimal( "2.5" ) );
    dr = dr.applyConstrainingFacet( MAX_INCLUSIVE.getName(), decimal( "3.5" ) );

    assertFalse( dr.contains( 2 ) );
    assertFalse( dr.contains( decimal( "2.4999" ) ) );
    assertTrue( dr.contains( decimal( "2.5" ) ) );
View Full Code Here

Examples of com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDatatype.applyConstrainingFacet()

864
865
866
867
868
869
870
871
872
873
874
        .allIntegers(), ContinuousRealInterval.allReals(), ContinuousRealInterval
        .allReals() );
    dr = dr.intersect( new RestrictedRealDatatype( dt, IntegerInterval.allIntegers(), null,
        null ), true );
    dr = dr.applyConstrainingFacet( MIN_INCLUSIVE.getName(), decimal( "2.5" ) );
    dr = dr.applyConstrainingFacet( MAX_INCLUSIVE.getName(), decimal( "3.5" ) );

    assertFalse( dr.contains( 2 ) );
    assertFalse( dr.contains( decimal( "2.4999" ) ) );
    assertTrue( dr.contains( decimal( "2.5" ) ) );
    assertTrue( dr.contains( decimal( "2.5001" ) ) );
View Full Code Here

Examples of com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDatatype.applyConstrainingFacet()

884
885
886
887
888
889
890
891
892
893
894
   */
  @Test
  public void unionIntInt1() throws InvalidConstrainingFacetException {
    RestrictedDatatype<Number> dr1 = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), null, null );
    dr1 = dr1.applyConstrainingFacet( MIN_INCLUSIVE.getName(), -10 );
    dr1 = dr1.applyConstrainingFacet( MAX_INCLUSIVE.getName(), -2 );

    RestrictedDatatype<Number> dr2 = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), null, null );
    dr2 = dr2.applyConstrainingFacet( MIN_INCLUSIVE.getName(), 12 );
View Full Code Here

Examples of com.clarkparsia.pellet.datatypes.types.real.RestrictedRealDatatype.applyConstrainingFacet()

885
886
887
888
889
890
891
892
893
894
895
  @Test
  public void unionIntInt1() throws InvalidConstrainingFacetException {
    RestrictedDatatype<Number> dr1 = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), null, null );
    dr1 = dr1.applyConstrainingFacet( MIN_INCLUSIVE.getName(), -10 );
    dr1 = dr1.applyConstrainingFacet( MAX_INCLUSIVE.getName(), -2 );

    RestrictedDatatype<Number> dr2 = new RestrictedRealDatatype( dt, IntegerInterval
        .allIntegers(), null, null );
    dr2 = dr2.applyConstrainingFacet( MIN_INCLUSIVE.getName(), 12 );
    dr2 = dr2.applyConstrainingFacet( MAX_INCLUSIVE.getName(), 13 );
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.