Package org.eclipse.imp.pdb.facts

Examples of org.eclipse.imp.pdb.facts.ITuple

79
80
81
82
83
84
85
86
87
88
89
90
91
 
  private int numberOfStates(ISet st){
    st.size();
    int r = 0;
    for(IValue v : st){
      ITuple t = (ITuple) v;
      IInteger from = (IInteger) t.get(0);
      IInteger to = (IInteger) t.get(2);
      if(from.intValue() > r) r = from.intValue();
      if(to.intValue() > r) r = to.intValue();
    }
    return r + 1;
  }
View Full Code Here
91
92
93
94
95
96
97
98
99
100
101
102
103
104
  }
 
  private void printTransitions(PrintStream fos, ISet st){
    fos.println("des(0," + st.size() + "," + numberOfStates(st) + ")");
    for(IValue v : st){
      ITuple t = (ITuple) v;
      IInteger from = (IInteger) t.get(0);
      IString act = (IString) t.get(1);
      IInteger to = (IInteger) t.get(2);
      fos.print('(');
      fos.print(from.intValue());
      fos.print(',');
      fos.print("\"" + act.getValue() + "\"");
      fos.print(',');
View Full Code Here
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
    return loe.isLess();
  }
 
  @Override
  protected LessThanOrEqualResult lessThanOrEqualTuple(TupleResult that) {
    ITuple left = that.getValue();
    int leftArity = left.arity();
    ITuple right = getValue();
    int rightArity = right.arity();
   
    for (int i = 0; i < Math.min(leftArity, rightArity); i++) {
       IValue leftArg = left.get(i);
       IValue rightArg = right.get(i);
       LessThanOrEqualResult loe = makeResult(leftArg.getType(), leftArg, ctx).lessThanOrEqual(makeResult(rightArg.getType(), rightArg,ctx));
      
       if (loe.getLess()) {
         return loe;
       }
View Full Code Here
18
19
20
21
22
23
24
25
26
27
28
29
30
    this.tuple = tuple;
  }
 
  @Override
  public IValue up(IValue focus) {
    ITuple sub = (ITuple)focus;
    int i = 0;
    ITuple newTuple = tuple;
    for (IValue elt: sub) {
      newTuple = newTuple.set(fields[i], elt);
    }
    return new TupleCursor(newTuple, ctx);
  }
View Full Code Here
18
19
20
21
22
23
24
25
26
27
28
29
30
31
    this.tuple = tuple;
  }

  @Override
  public IValue up(IValue focus) {
    ITuple sub = (ITuple)focus;
    int i = 0;
    ITuple newTuple = tuple;
    for (IValue elt: sub) {
      newTuple = newTuple.set(fields[i], elt);
      i++;
    }
    return new TupleCursor(newTuple, ctx);
  }
View Full Code Here
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
    }
    if (reader.getLastChar() == '}') {
      reader.readSkippingWS();
      return w.done();
    }
    ITuple term = parseEntry(reader, expected);
    w.put(term.get(0), term.get(1));
    while (reader.getLastChar() == ',') {
      reader.readSkippingWS();
      term = parseEntry(reader, expected);
      w.put(term.get(0), term.get(1));
    }
    if (reader.getLastChar() != '}') {
      throw new FactParseError("expected '}' but got '"
          + (char) reader.getLastChar() + "'", reader.getPosition());
    }
View Full Code Here
39
40
41
42
43
44
45
46
47
48
49
50
51
    expected = new double[n];
    observed = new long[n];
 
    int i = 0;
    for(IValue v : dataValues){
      ITuple t = (ITuple) v;
      INumber exp = (INumber) t.get(0);
      INumber obs = (INumber) t.get(1);
      expected[i] = (long) exp.toReal().doubleValue();
      observed[i] = obs.toInteger().longValue();
     
      if(expected[i] < 0 || observed[i] < 0) throw RuntimeExceptionFactory.illegalArgument(dataValues, null, null, "Chi test requires positive values");
      i++;
View Full Code Here
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
    double g = 0;
    double N = 0;
   
    double xvalues[] = new double[dataValues.length()];
    for(int i = 0; i < dataValues.length(); i++){
      ITuple T = (ITuple) dataValues.get(i);
      xvalues[i] = ((INumber) T.get(0)).toReal().doubleValue();
    }
   
    // Create a natural ranking: largest first.
    double rank[] = new NaturalRanking().rank(xvalues);
   
    for(int i = 0; i < rank.length; i++){
      rank[i] = rank.length - rank[i] + 1; // invert the ranking: smallest come now first.
      //System.err.println("rank[" + i + "] = " + rank[i]);
    }
   
    for(int i = 0; i < dataValues.length(); i++){
      ITuple T = (ITuple) dataValues.get(i);
      double Y = ((INumber) T.get(1)).toReal().doubleValue();
      if(Y < 0)
        throw RuntimeExceptionFactory.illegalArgument(T, null, null, "Frequency should be positive");
     
      g += xvalues[i] * rank[i] * Y;
      N += Y;
View Full Code Here
438
439
440
441
442
443
444
445
446
447
448
      }
     
      Pattern escapingNeeded = Pattern.compile("[\\n\\r\"\\x" + Integer.toHexString(separator.charAt(0)) + "]");
     
      for(IValue v : (isListRel ? lrel : irel)){
        ITuple tup = (ITuple) v;
        boolean firstTime = true;
        for(IValue w : tup){
          if(firstTime)
            firstTime = false;
          else
View Full Code Here
38
39
40
41
42
43
44
45
46
47
48
49
50
    xvalues = new double[n];
    yvalues = new double[n];
    xyvalues = new double[n][n];
    int i = 0;
    for(IValue v : dataValues){
      ITuple t = (ITuple) v;
      INumber x = (INumber) t.get(0);
      INumber y = (INumber) t.get(1);
      xvalues[i] = xyvalues[i][0] = x.toReal().doubleValue();
      yvalues[i] = xyvalues[i][0] = y.toReal().doubleValue();
      i++;
    }
  }
View Full Code Here
TOP

Related Classes of org.eclipse.imp.pdb.facts.ITuple

  • org.rascalmpl.interpreter.cursors.TupleSelectByFieldNamesContext
  • org.rascalmpl.interpreter.cursors.TupleSelectContext
  • org.rascalmpl.interpreter.env.ModuleEnvironment
  • org.rascalmpl.interpreter.result.ListRelationResult
  • org.rascalmpl.interpreter.result.RelationResult
  • org.rascalmpl.interpreter.result.TupleResult
  • org.rascalmpl.interpreter.TraversalEvaluator
  • org.rascalmpl.library.analysis.statistics.Correlations
  • org.rascalmpl.library.analysis.statistics.Inferences
  • org.rascalmpl.library.analysis.statistics.SimpleRegressions
    • 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.