Package heart.xtt

Examples of heart.xtt.Type


    Range value = new Range(new Range(new SimpleNumeric(4.0), new SimpleNumeric(8.0)));   
    SetValue value2 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(6.0)));
    Range value3 = new Range(new Range(new SimpleNumeric(15.0), new SimpleNumeric(20.0)));
    SetValue value4 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(12.0)));
   
    Type type = createTypeWithDomain(Arrays.<Value>asList(range, value, value2, value3, value4));
   
    assertTrue(range.sim(value, type));
    assertTrue(range.sim(value2, type));
    assertFalse(range.notsim(value, type));
    assertFalse(range.notsim(value2, type));
View Full Code Here


  public void testSupsetAndSubsetLogic() throws BuilderException, UnsupportedOperationException, NotInTheDomainException, RangeFormatException{
    Range value = new Range(new Range(new SimpleNumeric(4.0), new SimpleNumeric(18.0)));   
    SetValue value2 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(6.0)));
    Range value3 = new Range(new Range(new SimpleNumeric(6.0), new SimpleNumeric(9.0)));
    SetValue value4 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(5.0), new SimpleNumeric(10.0)));
    Type type = createTypeWithDomain(Arrays.<Value>asList(range, value, value2, value3, value4));
   
    assertFalse(range.supset(value, type));
    assertTrue(range.subset(value, type));
    assertTrue(range.supset(value3, type));
    assertFalse(range.subset(value3, type));
View Full Code Here

    Range value3 = new Range(new SimpleNumeric(6.0), new SimpleNumeric(9.0));
    SetValue value4 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(2.0), new SimpleNumeric(18.0)));
    Range value5 = new Range(new SimpleNumeric(4.0), new SimpleNumeric(8.0));
    Range expected = new Range(new SimpleNumeric(5.0), new SimpleNumeric(8.0));
    Range value6 = new Range(new SimpleNumeric(14.0), new SimpleNumeric(18.0));
    Type type = createTypeWithDomain(Arrays.<Value>asList(range, value, value2,
        value3, value4, value5));
   
    SetValue result = (SetValue) range.intersect(value, type);
    assertTrue(result.values.get(0).eq(range, type));
    result = (SetValue) range.intersect(value3, type);
View Full Code Here

    SetValue value4 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(2.0), new SimpleNumeric(18.0)));
    Range value5 = new Range(new SimpleNumeric(2.0), new SimpleNumeric(8.0));   
    Range expected = new Range(new SimpleNumeric(2.0), new SimpleNumeric(10.0));
    SetValue value6 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(4.0),
        new SimpleNumeric(8.0), value4, value));
    Type type = createTypeWithDomain(Arrays.<Value>asList(range, value, value2,
        value3, value4, value5, value6));
   
    SetValue result = (SetValue) range.union(value, type);
    assertTrue(result.values.get(0).eq(value, type));
    result = (SetValue) range.union(value3, type);
View Full Code Here

    SetValue value2 = new SetValue();
    SetValue value3 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(5.0),new SimpleNumeric(10.0)));
    SetValue value4 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(3.0),new SimpleNumeric(8.0)));
    SetValue value5 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(7.0),new SimpleNumeric(18.0)));
    SetValue value6 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(7.0),new SimpleSymbolic("value9",9)));
    Type type = createTypeWithDomain(Arrays.<Value>asList(range, value, value2,
        value3, value4, value5, value6, new SimpleSymbolic("value9",9)));
   
    SetValue result = (SetValue) range.union(value, type);   
    assertTrue(result.values.get(0).eq(new Range(new SimpleNumeric(5.0), true, new SimpleNumeric(10.0),true), type));   
   
View Full Code Here

    Range value4 = new Range(new SimpleNumeric(3.0), new SimpleNumeric(15.0));
    Range value5 = new Range(new SimpleNumeric(1.0), new SimpleNumeric(4.0));
    Range value6 = new Range(new SimpleNumeric(1.0), new SimpleNumeric(5.0));
    Range value7 = new Range(new SimpleNumeric(10.0), new SimpleNumeric(15.0));
    Range value8 = new Range(new SimpleNumeric(5.0), new SimpleNumeric(10.0));
    Type type = createTypeWithDomain(Arrays.<Value>asList(range, value,
        value2, value3, value4, value5));
   
    SetValue result = (SetValue) range.union(value, type);
    assertTrue(result.values.get(0).eq(range, type));
   
View Full Code Here

    Range value2 = new Range(new SimpleNumeric(6.0), new SimpleNumeric(8.0))
    Range value3 = new Range(new SimpleNumeric(3.0), new SimpleNumeric(8.0));
    Range value4 = new Range(new SimpleNumeric(7.0), new SimpleNumeric(12.0));
    Range value5 = new Range(new SimpleNumeric(2.0), new SimpleNumeric(5.0));   
    Range value6 = new Range(new SimpleNumeric(10.0), new SimpleNumeric(12.0));   
    Type type = createTypeWithDomain(Arrays.<Value>asList(range, value, value2,
        value3, value4, value5, value6,new SimpleSymbolic("value5", 5), new SimpleSymbolic("value10",10)));
   
    SetValue result = (SetValue) range.except(value, type);
    assertTrue(result.values.get(0).eq(new Range(new SimpleNumeric(4.0), true, new SimpleNumeric(5.0),false), type));
    assertTrue(result.values.get(1).eq(new Range(new SimpleNumeric(10.0), false, new SimpleNumeric(18.0),true), type));
View Full Code Here

    SimpleNumeric value = new SimpleNumeric(7.0);
    SimpleNumeric value2 = new  SimpleNumeric(3.0);
    SimpleNumeric value3 = new SimpleNumeric(12.0);
    SimpleNumeric value4 = new  SimpleNumeric(5.0);
    SimpleNumeric value5 = new SimpleNumeric(10.0);
    Type type = createTypeWithDomain(Arrays.<Value>asList(range, value, value2, value3,
        value4, value5));
   
    SetValue result = (SetValue) range.except(value, type);   
    assertTrue(result.values.get(0).eq(new Range(new SimpleNumeric(5.0), true, new SimpleNumeric(7.0),false), type));
    assertTrue(result.values.get(1).eq(new Range(new SimpleNumeric(7.0), false, new SimpleNumeric(10.0),true), type));
View Full Code Here

    SetValue value2 = new SetValue();
    SetValue value3 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(5.0),new SimpleNumeric(10.0)));
    SetValue value4 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(3.0),new SimpleNumeric(8.0)));
    SetValue value5 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(7.0),new SimpleNumeric(18.0)));
    SetValue value6 = new SetValue(Arrays.<Value>asList(new SimpleNumeric(7.0),new SimpleSymbolic("value9",9)));
    Type type = createTypeWithDomain(Arrays.<Value>asList(range, value, value2,
        value3, value4, value5, value6, new SimpleSymbolic("value9",9)));
   
    SetValue result = (SetValue) range.except(value, type);
    assertTrue(result.values.get(0).eq(new Range(new SimpleNumeric(5.0), true, new SimpleNumeric(7.0),false), type));
    assertTrue(result.values.get(1).eq(new Range(new SimpleNumeric(7.0), false, new SimpleNumeric(9.0),false), type));
View Full Code Here

    SimpleSymbolic value = new SimpleSymbolic("value7",7);
    SimpleSymbolic value2 = new  SimpleSymbolic("value3",3);
    SimpleSymbolic value3 = new SimpleSymbolic("value12",12);
    SimpleSymbolic value4 = new  SimpleSymbolic("value5",5);
    SimpleSymbolic value5 = new SimpleSymbolic("value10",10);
    Type type = createTypeWithDomain(Arrays.<Value>asList(range, value, value2, value3,
        value4, value5));
   
    //Czy Range(Numeric,Numeric) można porównywać do Symbolic i vice versa?
 
    SetValue result = (SetValue) range.except(value, type);       
View Full Code Here

TOP

Related Classes of heart.xtt.Type

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.