Package edu.cmu.cs.fusion.constraint

Examples of edu.cmu.cs.fusion.constraint.Substitution

219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
  public void testTrueUnknown() throws FusionException {
    RelationshipDelta startRels = new RelationshipDelta();
    startRels.setRelationship(new Relationship(utils.getRelation(0), new ObjectLabel[]{labels[0], labels[1]}), SevenPointLattice.TRU);
    RelationshipContext rels = new RelationshipContext(false).applyChangesFromDelta(startRels);

    Substitution partialSub = new Substitution();
    partialSub = partialSub.addSub(utils.getVar(0), labels[0]);
    partialSub = partialSub.addSub(utils.getVar(1), labels[1]);
    partialSub = partialSub.addSub(Constraint.RESULT, labels[6]);
    partialSub = partialSub.addSub(Constraint.RECEIVER, labels[1]);

    FusionEnvironment<?> env = new FusionEnvironment<TestAliasContext>(aliases, rels, null, types, new InferenceEnvironment(null), variant);   
    Pair<RelationshipDelta, Substitution> deltas = runFullyBound(env, partialSub, cons);
    assertEquals(partialSub, deltas.snd());
  }
View Full Code Here
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
  public void testTrueUnknownPragmatic() throws FusionException {
    RelationshipDelta startRels = new RelationshipDelta();
    startRels.setRelationship(new Relationship(utils.getRelation(0), new ObjectLabel[]{labels[0], labels[1]}), SevenPointLattice.TRU);
    RelationshipContext rels = new RelationshipContext(false).applyChangesFromDelta(startRels);

    Substitution partialSub = new Substitution();
    partialSub = partialSub.addSub(utils.getVar(0), labels[0]);
    partialSub = partialSub.addSub(utils.getVar(1), labels[1]);
    partialSub = partialSub.addSub(Constraint.RESULT, labels[6]);
    partialSub = partialSub.addSub(Constraint.RECEIVER, labels[1]);

    Variant vOld = this.variant;
    this.variant = Variant.PRAGMATIC_VARIANT;
    FusionEnvironment<?> env = new FusionEnvironment<TestAliasContext>(aliases, rels, null, types, new InferenceEnvironment(null), variant);   
    Pair<RelationshipDelta, Substitution> deltas = runFullyBound(env, partialSub, cons);
View Full Code Here
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
  public void testUnknown() throws FusionException {
    RelationshipDelta startRels = new RelationshipDelta();
    startRels.setRelationship(new Relationship(utils.getRelation(0), new ObjectLabel[]{labels[0], labels[1]}), SevenPointLattice.UNK);
    RelationshipContext rels = new RelationshipContext(false).applyChangesFromDelta(startRels);

    Substitution partialSub = new Substitution();
    partialSub = partialSub.addSub(utils.getVar(0), labels[0]);
    partialSub = partialSub.addSub(utils.getVar(1), labels[1]);
    partialSub = partialSub.addSub(Constraint.RESULT, labels[6]);
    partialSub = partialSub.addSub(Constraint.RECEIVER, labels[1]);

    FusionEnvironment<?> env = new FusionEnvironment<TestAliasContext>(aliases, rels, null, types, new InferenceEnvironment(null), variant);   
    Pair<RelationshipDelta, Substitution> deltas = runFullyBound(env, partialSub, cons);

    assertEquals(partialSub, deltas.snd());
View Full Code Here
174
175
176
177
178
179
180
181
182
183
184
   * @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
126
127
128
129
130
131
132
133
134
135
136
    return true;
  }

    public List<Substitution> findLabels(ConsList<Binding> variables, FreeVars fv) {
      List<Substitution> baseCase = new LinkedList<Substitution>();
      baseCase.add(new Substitution());
     
      //first, get a list of sigmas, with bindings according to variables.
      List<Substitution> boundSubs = variables.foldl(findLabelsLambda, new Pair<List<Substitution>, FreeVars>(baseCase, fv)).fst();
     
      //then, pass each one into allValidSubs
View Full Code Here
TOP

Related Classes of edu.cmu.cs.fusion.constraint.Substitution

  • edu.cmu.cs.fusion.FusionEnvironment
  • edu.cmu.cs.fusion.relationship.ConstraintChecker
  • edu.cmu.cs.fusion.relationship.TestFullBoundEffects
  • edu.cmu.cs.fusion.relationship.TestFullBoundRequiresComplete
  • edu.cmu.cs.fusion.relationship.TestFullBoundRequiresPragmatic
  • edu.cmu.cs.fusion.relationship.TestFullBoundRequiresSound
  • edu.cmu.cs.fusion.relationship.TestFullyBoundRestrictions
  • edu.cmu.cs.fusion.test.TestAllValidSubs
  • edu.cmu.cs.fusion.test.TestFindLabels
  • edu.cmu.cs.fusion.test.TestGetInferredDelta
    • 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.