Package edu.cmu.cs.fusion

Examples of edu.cmu.cs.fusion.ThreeValue

22
23
24
25
26
27
28
29
  public FreeVars getFreeVariables() {
    return new FreeVars().addVar(value, FreeVars.BOOL_TYPE);
  }

  public ThreeValue getTruth(FusionEnvironment env, Substitution sub) {
    ThreeValue val = env.getBooleanValue(sub.getSub(value));
    return isPositive ? val : val.negate();
  }
View Full Code Here
148
149
150
151
152
153
154
155
156
157
158
   
    List<Substitution> failingSubs = new LinkedList<Substitution>();   
   
    boolean hasGoodSub = false;
    for (Substitution sub : subs) {
      ThreeValue trigger = cons.getTrigger().getTruth(triggerEnv, sub);
      if (isGoodSubs(trigger, triggerEnv, sub, cons)) {     
        if (checkFullyBound(triggerEnv, sub, cons))
          failingSubs.add(sub);
        hasGoodSub = true;
      }
View Full Code Here
173
174
175
176
177
178
179
180
181
182
183
   * @param cons The constraint to check
   * @param instr The instruction to report errors on
   * @return Any change effects
   */
  protected Pair<RelationshipDelta, Substitution> runFullyBound(FusionEnvironment<?> env, Substitution partialSubs, Constraint cons) { 
    ThreeValue trigger = cons.getTrigger().getTruth(env, partialSubs);
    Substitution keepSub = isGoodSubs(trigger, env, partialSubs, cons) ? partialSubs : null;
    RelationshipDelta delta;
   
    if (trigger == ThreeValue.FALSE) {
      delta = RelationshipDelta.getTrueBottom();
View Full Code Here
206
207
208
209
210
211
212
213
214
215
216
      if (cons.getRestrict() instanceof TruePredicate)
        return true;
      List<Substitution> subs = env.allValidSubs(partialSubs, cons.getFreeVars());
       
      for (Substitution sub : subs) {
        ThreeValue restrict = cons.getRestrict().getTruth(env, sub);
       
        if ((restrict == ThreeValue.TRUE) || (restrict == ThreeValue.UNKNOWN && !variant.isPragmatic()))
          return true;
      }
      return false;
View Full Code Here
224
225
226
227
228
229
230
231
232
233
234
   * @param partialSubs
   * @param cons
   * @return True if there is an error, false if there is not an error
   */
  protected boolean checkFullyBound(FusionEnvironment<?> triggerEnv, Substitution partialSubs, Constraint cons) {     
    ThreeValue trigger = cons.getTrigger().getTruth(triggerEnv, partialSubs);
   
    if (trigger == ThreeValue.FALSE)
      return false;
    else if (trigger == ThreeValue.UNKNOWN){
      if (variant.isComplete() || variant.isPragmatic())
View Full Code Here
252
253
254
255
256
257
258
259
260
261
262
  private boolean checkPragmatically(FusionEnvironment<?> env,
      Substitution partialSubs, Constraint cons) {   
    List<Substitution> subs = env.allValidSubs(partialSubs, cons.getFreeVars());
   
    for (Substitution fullSub : subs) {
      ThreeValue req = cons.getRequires().getTruth(env, fullSub);
      if (req == ThreeValue.TRUE)
        return false;
    }
    return true;
  }
View Full Code Here
270
271
272
273
274
275
276
277
278
279
280
   
    if (subs.isEmpty())
      return true;
   
    for (Substitution fullSub : subs) {
      ThreeValue req = cons.getRequires().getTruth(env, fullSub);
      if (req != ThreeValue.TRUE)
        return true;
    }
    return false;
  }
View Full Code Here
285
286
287
288
289
290
291
292
293
294
295
  private boolean checkCompletely(FusionEnvironment<?> env,
      Substitution partialSubs, Constraint cons) {
    List<Substitution> subs = env.allValidSubs(partialSubs, cons.getFreeVars());
   
    for (Substitution fullSub : subs) {
      ThreeValue req = cons.getRequires().getTruth(env, fullSub);
      if (req != ThreeValue.FALSE)
        return false;
    }
    return true;
  }
View Full Code Here
10
11
12
13
14
15
16
17
18
19
20
  public ImpliesPredicate(Predicate left, Predicate right) {
    super(left, right);
  }

  public ThreeValue getTruth(FusionEnvironment env, Substitution sub) {
    ThreeValue lTV = lhs.getTruth(env, sub);
   
    if (lTV == ThreeValue.TRUE)
      return rhs.getTruth(env, sub);
    else if (lTV == ThreeValue.FALSE)
      return ThreeValue.TRUE;
View Full Code Here
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
    for (int ndx = 0; ndx < vars.length; ndx++) {
      objLabels[ndx] = sub.getSub(vars[ndx]);
    }
   
    Relationship rel = new Relationship(type, objLabels);
    ThreeValue val = env.getContext().getRelationship(rel);
   
    if (val == ThreeValue.UNKNOWN) {
      RelationshipDelta delta = env.getInferredDelta(this, sub);
     
      if (delta != null) {
        RelationshipContext newContext = env.getContext().applyChangesFromDelta(delta);
        FusionEnvironment newEnv = env.copy(newContext);
        val = getTruth(newEnv, sub);
      }
    }
   
    return isPositive ? val : val.negate();
  }
View Full Code Here
TOP

Related Classes of edu.cmu.cs.fusion.ThreeValue

  • edu.cmu.cs.fusion.constraint.predicates.AndPredicate
  • edu.cmu.cs.fusion.constraint.predicates.BooleanValue
  • edu.cmu.cs.fusion.constraint.predicates.ImpliesPredicate
  • edu.cmu.cs.fusion.constraint.predicates.OrPredicate
  • edu.cmu.cs.fusion.constraint.predicates.RelationshipPredicate
  • edu.cmu.cs.fusion.constraint.predicates.TestPredicate
  • edu.cmu.cs.fusion.relationship.ConstraintChecker
  • edu.cmu.cs.fusion.relationship.RelationshipDelta
    • 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.