Package ai.domain

Examples of ai.domain.Variable

93
94
95
96
97
98
99
100
101
102
103
    if (!this.variableValues.keySet().equals(other.variableValues.keySet()))
      throw new DomainException("Join only allowed with the same variables!!, mine: "+this +", other:"+other);

    Map<Variable, DI> result = new HashMap<Variable, DI>();
    for(Map.Entry<Variable, DI> entry: variableValues.entrySet()) {
      Variable var = entry.getKey();
      DI value = entry.getValue();     
      DI resultValue = value.widen(other.variableValues.get(var));
      result.put(var, resultValue);
    }
//   
View Full Code Here
123
124
125
126
127
128
129
130
131
132
133
    if (this.isBottom())
      return true;
    if (other.isBottom())
      return false;
    for(Map.Entry<Variable, DI> entry: variableValues.entrySet()){
      Variable variable = entry.getKey();
      if (!other.variableValues.containsKey(variable))
        return false;
      DI value = entry.getValue();
      if (!value.leq(other.variableValues.get(variable)))
        return false;
View Full Code Here
353
354
355
356
357
358
359
360
361
362
363
  }

  @Override
  public NonRelationalDomain<Interval> processEmptyEdge(NonRelationalDomain<Interval> input, List<SimpleName> variablesToRemove) {
    for(SimpleName name: variablesToRemove){
      Variable var = EvaluationUtils.tryGetVariable(name);
      if (var == null)
        continue;
      input = input.removeVariable(var);
    }
    return input;
View Full Code Here
128
129
130
131
132
133
134
135
136
137
138
    if (input.isBottom())
      return input;
    NonRelationalDomain<Bool> bools = input.getLeft();
    List<Variable> boxVariablesToRemove = new LinkedList<Variable>();
    for(SimpleName name: variablesToRemove){
      Variable var = EvaluationUtils.tryGetVariable(name);
      if (var == null)
        continue;
      if (bools.containsValue(var))
        bools = bools.removeVariable(var);
      else
View Full Code Here
39
40
41
42
43
44
45
46
47
48
49
    public MyThresholds join(MyThresholds otherOrNull) {
      if (otherOrNull == null)
        return this;
      Map<Variable, Set<Double>> result = new HashMap<Variable, Set<Double>>();
      for(Map.Entry<Variable, Set<Double>> entry: thresholds.entrySet()){
        Variable var = entry.getKey();
        Set<Double> thres = new HashSet(entry.getValue());
        thres.addAll(otherOrNull.thresholds.get(var));
        result.put(var, thres);
      }
      return new MyThresholds(result);
View Full Code Here
173
174
175
176
177
178
179
180
181
182
183
      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
            value = input.right.getValueFor(var);
        }
View Full Code Here
222
223
224
225
226
227
228
    } else {//variable is defined in initializer
      if (enclosingDeclarationBlock.getNodeType() != ASTNode.INITIALIZER)
        return null; // we are some method
      //hopefully we are ok :/
    }
    return new Variable(varBinding);
  }
View Full Code Here
TOP

Related Classes of ai.domain.Variable

  • ai.cfg.verifiers.VariablesVerifier$VarExpressionVisitor
  • ai.cfg.verifiers.VariablesVerifier$Variables
  • ai.codestatistics.DomainComparator
  • ai.domain.bool.BoolsSemantics
  • ai.domain.bool.BoolsSemantics$MyBooleanSemantics
  • ai.domain.boolintv.BoolIntvSemantics
  • ai.domain.boolintv.BoolIntvSemantics$MyBooleanSemantics
  • ai.domain.boolintv.BoolIntvSemantics$MyIntegerSemantics
  • ai.domain.boolintv.BoolIntvSemantics$MyIntergerBackwardSemantics
  • ai.domain.boxes.BoxesWideningFactory$MyThresholds
    • 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.