Package edu.cmu.cs.fusion

Examples of edu.cmu.cs.fusion.ThreeValue.negate()

23
24
25
26
27
28
29
30
31
32
33
    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();
  }

  public boolean isPositive() {
    return isPositive;
  }
View Full Code Here
56
57
58
59
60
61
62
63
64
65
66
        FusionEnvironment newEnv = env.copy(newContext);
        val = getTruth(newEnv, sub);
      }
    }
   
    return isPositive ? val : val.negate();
  }

  public Relation getRelation() {
    return type;
  }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.