Package ai.domain.interval

Examples of ai.domain.interval.Interval

252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
    @Override
    public Pair<Interval, ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>>> processIntegerNode(
        Pair<Interval, ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>>> input,
        SimpleName node) {
      Interval value;
      if (EvaluationUtils.isIntegerType(node)) {
        IntervalValue aValue = EvaluationUtils.tryGetIntervalValue(node);
        if (aValue != null) { // a constant??
          value = new Interval(aValue);
        } else {// variable??
          Variable var = EvaluationUtils.tryGetVariable(node);
          if (var == null) { // not a variable, we know nothing :(
            value = Interval.TOP;
          } else
View Full Code Here
274
275
276
277
278
279
280
    @Override
    public Pair<Interval, ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>>> processIntegerNode(
        Pair<Interval, ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>>> input,
        QualifiedName node) {
      IntervalValue aValue = EvaluationUtils.tryGetIntervalValue(node);
      return Pair.create((aValue != null) ? new Interval(aValue) : Interval.TOP, input.right);
    }
View Full Code Here
282
283
284
285
286
287
288
    @Override
    public Pair<Interval, ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>>> processIntegerNode(
        Pair<Interval, ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>>> input,
        SuperFieldAccess node) {
      IntervalValue value = EvaluationUtils.tryGetIntervalValue(node);
      return Pair.create(value != null ? new Interval(value) : Interval.TOP, input.right);
    }
View Full Code Here
306
307
308
309
310
311
312
    @Override
    public Pair<Interval, ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>>> processIntegerNode(
        Pair<Interval, ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>>> input,
        NumberLiteral node, long value) {
      return Pair.create(new Interval(value, value), input.right);
    }
View Full Code Here
313
314
315
316
317
318
319
    @Override
    public Pair<Interval, ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>>> processIntegerNode(
        Pair<Interval, ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>>> input,
        CharacterLiteral node, long value) {
      return Pair.create(new Interval(value, value), input.right);
    }
View Full Code Here
320
321
322
323
324
325
326
327
328
329
330
331
   
    @Override
    public Pair<Interval, ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>>> processIntegerValueChange(
        Pair<Interval, ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>>> input,
        Expression ofWhat, int delta, boolean postfixOrPrefix) {
      Interval valueBeforeChange = input.left;
      Interval valueAfterChange = sem.delta(valueBeforeChange, delta);
      Variable var = EvaluationUtils.tryGetVariable(ofWhat);
      NonRelationalDomain<Interval> output = input.right.getRight();
      if (var != null && EvaluationUtils.isIntegerType(ofWhat))
        output = output.updateVariable(var, valueAfterChange);
      return Pair.create(postfixOrPrefix ? valueBeforeChange : valueAfterChange, input.right.setRight(output));
View Full Code Here
184
185
186
187
188
189
190
191
192
    for(Variable var: bools.getVariables())
      bools = bools.updateVariable(var, Bool.TOP);
    //process integers
    NonRelationalDomain<Interval> intv = NonRelationalDomain.getInitialValue();
    for(Variable var: input.getRight().getVariables())
      intv = intv.addNewVariable(var, new Interval(Double.NEGATIVE_INFINITY, Double.POSITIVE_INFINITY), false);
    IntegerBoxes boxes = IntegerBoxesHelper.fromIntervalBox(intv);
    return ProductDomain.create(bools, boxes);
  }
View Full Code Here
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
public class BoxesWideningFactory {
 
  private static Map<Variable, Set<Double>> surroundingBox(NonRelationalDomain<Interval> box) {
    Map<Variable, Set<Double>> result = new HashMap<Variable, Set<Double>>();
    for(Variable var: box.getVariables()){
      Interval interval = box.getValueFor(var);
      Set<Double> varThresholds = new HashSet<Double>();
      result.put(var, varThresholds);
      if (interval.getLeft() > Double.NEGATIVE_INFINITY)
        varThresholds.add(interval.getLeft());
      if (interval.getRight() < Double.POSITIVE_INFINITY)
        varThresholds.add(interval.getRight()+1);
    }
    return result;
  }
View Full Code Here
25
26
27
28
29
30
31
32
33
  private NonRelationalDomain<Interval> prepareBox(IntervalValue... data) {
    int idx = 0;
    NonRelationalDomain<Interval> res = NonRelationalDomain.getInitialValue();
    for(int i=data.length-1; i>=0; i--) {
      IntervalValue val = data[i];
      res = res.addNewVariable(new DummyVariable("TestVariable " + idx, idx++), new Interval(val), false);
    }
    return res;
  }
View Full Code Here
TOP

Related Classes of ai.domain.interval.Interval

  • ai.domain.boolintv.BoolIntvSemantics
  • ai.domain.boolintv.BoolIntvSemantics$MyIntegerSemantics
  • ai.domain.boolintv.BoolIntvSemantics$MyIntergerBackwardSemantics
  • ai.domain.boxes.BoxesWideningFactory
  • ai.domain.boxes.IntegerBoxesHelper
  • ai.domain.boxes.IntegerBoxesHelper$Split
  • ai.domain.boxes.IntegerBoxesSemantics
  • ai.domain.boxes.test.BoxesDomainTests
  • ai.domain.boxes.test.BoxesDomainWideningTests
  • ai.domain.interval.test.DomainTest
    • 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.