Package ai.domain.bool

Examples of ai.domain.bool.Bool

391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
 
  private Pair<Bool, DI> computeInitialValue(Expression exprOrNull, DI input) {
    if (exprOrNull == null)
      return Pair.create(null, input);
    BooleanEvaluationState<DI> x = evaluateCondition(input, exprOrNull);
    Bool resultVal = Bool.BOTTOM;
    DI resultState = x.conditionMet;
    if (!x.conditionMet.isBottom())
      resultVal = resultVal.join(Bool.TRUE);
    if (!x.conditionNotMet.isBottom()) {
      resultVal = resultVal.join(Bool.FALSE);
      resultState = resultState.join(x.conditionNotMet);
    }
    return Pair.create(resultVal, resultState);
  }
View Full Code Here
22
23
24
25
26
27
28
29
30
31
32
    Matcher matcher = NAME_VALUE_PATTERN_PREFIX.matcher(description);
    if (!matcher.matches())
      throw new CommentParserException("Invalid domain value '%s'", description);
    String variableName = matcher.group(1);
    String valueString = matcher.group(2);
    Bool value = Utils.parseBool(valueString);
    if (value == null)
      throw new CommentParserException("Invalid boolean value '%s'", valueString);
    description = matcher.group(3).trim();
    return Pair.create(Pair.create(variableName, value), description);
  }
View Full Code Here
60
61
62
63
64
65
66
67
    @Override
    public BooleanEvaluationState<ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>>> processBooleanNode(
        ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>> input, FieldAccess node) {
      Boolean aValue = EvaluationUtils.tryGetBooleanValue(node);
      Bool value = (aValue != null) ? Bool.get(aValue) : Bool.TOP;
      return BooleanEvaluator.createOutput(input, value);
    }
View Full Code Here
81
82
83
84
85
86
87
88
89
90
91
    }

    @Override
    public BooleanEvaluationState<ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>>> processBooleanNode(
        ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>> input, SimpleName node) {
      Bool value;
      if (EvaluationUtils.isBooleanType(node)) {
        Boolean aValue = EvaluationUtils.tryGetBooleanValue(node);
        if (aValue != null) { // a constant??
          value = Bool.get(aValue);
        } else {// variable??
View Full Code Here
102
103
104
105
106
107
108
109
    @Override
    public BooleanEvaluationState<ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>>> processBooleanNode(
        ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>> input, QualifiedName node) {
      Boolean aValue = EvaluationUtils.tryGetBooleanValue(node);
      Bool value = (aValue != null) ? Bool.get(aValue) : Bool.TOP;
      return BooleanEvaluator.createOutput(input, value);
    }
View Full Code Here
116
117
118
119
120
121
122
123
    @Override
    public BooleanEvaluationState<ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>>> processBooleanNode(
        ProductDomain<NonRelationalDomain<Bool>, NonRelationalDomain<Interval>> input, SuperFieldAccess node) {
      Boolean aValue = EvaluationUtils.tryGetBooleanValue(node);
      Bool value = (aValue != null) ? Bool.get(aValue) : Bool.TOP;
      return BooleanEvaluator.createOutput(input, value);
    }
View Full Code Here
TOP

Related Classes of ai.domain.bool.Bool

  • ai.domain.boolintv.BoolIntvSemantics$MyBooleanSemantics
  • ai.domain.expressions.bool.BooleanEvaluator
  • ai.test.comment.domains.CommentBooleans
    • 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.