Package edu.cmu.cs.fusion.constraint

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

29
30
31
32
33
34
35
36
37
38
39
40
41
    utils = new TestUtils();
  }

  @Test
  public void testFreeVarsNormal() {
    Effect eff = RelEffect.createAddEffect(utils.getRelation(0), new SpecVar[] {utils.getVar(0), utils.getVar(1)});
    String[] types = utils.getRelation(0).getFullyQualifiedTypes();
    FreeVars fv = eff.getFreeVariables();
   
    assertEquals(types[0], fv.getType(utils.getVar(0)));
    assertEquals(types[1], fv.getType(utils.getVar(1)));

    assertEquals(2, fv.size());
View Full Code Here
41
42
43
44
45
46
47
48
49
50
51
52
53
    assertEquals(2, fv.size());
  }
 
  @Test
  public void testFreeVarsTest() {
    Effect eff = RelEffect.createNegatedTestEffect(utils.getRelation(0), new SpecVar[] {utils.getVar(0), utils.getVar(1)}, utils.getVar(2));
    String[] types = utils.getRelation(0).getFullyQualifiedTypes();
    FreeVars fv = eff.getFreeVariables();
   
    assertEquals(types[0], fv.getType(utils.getVar(0)));
    assertEquals(types[1], fv.getType(utils.getVar(1)));
    assertEquals(FreeVars.BOOL_TYPE, fv.getType(utils.getVar(2)));
View Full Code Here
54
55
56
57
58
59
60
61
62
63
64
65
66
67
    assertEquals(3, fv.size());
  }
 
  @Test
  public void testMakeEffectsAdd() {
    Effect eff = RelEffect.createAddEffect(utils.getRelation(0), new SpecVar[] {utils.getVar(0), utils.getVar(1)});
    TestEnvironment env = new TestEnvironment(utils.getContext(0), Variant.SOUND_VARIANT);
   
    RelationshipDelta delta = eff.makeEffects(env, utils.getSub(0));
    ObjectLabel[] labels = new ObjectLabel[] {utils.getSub(0).getSub(utils.getVar(0)), utils.getSub(0).getSub(utils.getVar(1))};
    SevenPointLattice val = delta.getValue(new Relationship(utils.getRelation(0), labels));
    assertEquals(SevenPointLattice.TRU, val);
   
    assertEquals(1, delta.numberOfChanges());
View Full Code Here
67
68
69
70
71
72
73
74
75
76
77
78
79
80
    assertEquals(1, delta.numberOfChanges());
  }
 
  @Test
  public void testMakeEffectsRemove() {
    Effect eff = RelEffect.createRemoveEffect(utils.getRelation(0), new SpecVar[] {utils.getVar(0), utils.getVar(1)});
    TestEnvironment env = new TestEnvironment(utils.getContext(0), Variant.SOUND_VARIANT);
   
    RelationshipDelta delta = eff.makeEffects(env, utils.getSub(0));
    ObjectLabel[] labels = new ObjectLabel[] {utils.getSub(0).getSub(utils.getVar(0)), utils.getSub(0).getSub(utils.getVar(1))};
    SevenPointLattice val = delta.getValue(new Relationship(utils.getRelation(0), labels));
    assertEquals(SevenPointLattice.FAL, val);
   
    assertEquals(1, delta.numberOfChanges());
View Full Code Here
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
    assertEquals(1, delta.numberOfChanges());
  }
 
  @Test
  public void testMakeEffectsTestTrue() {
    Effect eff = RelEffect.createTestEffect(utils.getRelation(0), new SpecVar[] {utils.getVar(0), utils.getVar(1)}, utils.getVar(2));
    Map<ObjectLabel, ThreeValue> map = new HashMap<ObjectLabel, ThreeValue>();
    TestEnvironment env = new TestEnvironment(utils.getContext(0), map, Variant.SOUND_VARIANT);
   
    map.put(utils.getSub(0).getSub(utils.getVar(2)), ThreeValue.TRUE);
   
    RelationshipDelta delta = eff.makeEffects(env, utils.getSub(0));
    ObjectLabel[] labels = new ObjectLabel[] {utils.getSub(0).getSub(utils.getVar(0)), utils.getSub(0).getSub(utils.getVar(1))};
    SevenPointLattice val = delta.getValue(new Relationship(utils.getRelation(0), labels));
    assertEquals(SevenPointLattice.TRU, val);
   
    assertEquals(1, delta.numberOfChanges());
View Full Code Here
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
    assertEquals(1, delta.numberOfChanges());
  }
 
  @Test
  public void testMakeEffectsTestFalse() {
    Effect eff = RelEffect.createTestEffect(utils.getRelation(0), new SpecVar[] {utils.getVar(0), utils.getVar(1)}, utils.getVar(2));
    Map<ObjectLabel, ThreeValue> map = new HashMap<ObjectLabel, ThreeValue>();
    TestEnvironment env = new TestEnvironment(utils.getContext(0), map, Variant.SOUND_VARIANT);
   
    map.put(utils.getSub(0).getSub(utils.getVar(2)), ThreeValue.FALSE);
   
    RelationshipDelta delta = eff.makeEffects(env, utils.getSub(0));
    ObjectLabel[] labels = new ObjectLabel[] {utils.getSub(0).getSub(utils.getVar(0)), utils.getSub(0).getSub(utils.getVar(1))};
    SevenPointLattice val = delta.getValue(new Relationship(utils.getRelation(0), labels));
    assertEquals(SevenPointLattice.FAL, val);
   
    assertEquals(1, delta.numberOfChanges());
View Full Code Here
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
    assertEquals(1, delta.numberOfChanges());
  }
 
  @Test
  public void testMakeEffectsTestUnk() {
    Effect eff = RelEffect.createTestEffect(utils.getRelation(0), new SpecVar[] {utils.getVar(0), utils.getVar(1)}, utils.getVar(2));
    Map<ObjectLabel, ThreeValue> map = new HashMap<ObjectLabel, ThreeValue>();
    TestEnvironment env = new TestEnvironment(utils.getContext(0), map, Variant.SOUND_VARIANT);
   
    map.put(utils.getSub(0).getSub(utils.getVar(2)), ThreeValue.UNKNOWN);
   
    RelationshipDelta delta = eff.makeEffects(env, utils.getSub(0));
    ObjectLabel[] labels = new ObjectLabel[] {utils.getSub(0).getSub(utils.getVar(0)), utils.getSub(0).getSub(utils.getVar(1))};
    SevenPointLattice val = delta.getValue(new Relationship(utils.getRelation(0), labels));
    assertEquals(SevenPointLattice.UNK, val);
   
    assertEquals(1, delta.numberOfChanges());
View Full Code Here
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
    assertEquals(1, delta.numberOfChanges());
  }

  @Test
  public void testMakeEffectsTestNegFalse() {
    Effect eff = RelEffect.createNegatedTestEffect(utils.getRelation(0), new SpecVar[] {utils.getVar(0), utils.getVar(1)}, utils.getVar(2));
    Map<ObjectLabel, ThreeValue> map = new HashMap<ObjectLabel, ThreeValue>();
    TestEnvironment env = new TestEnvironment(utils.getContext(0), map, Variant.SOUND_VARIANT);
   
    map.put(utils.getSub(0).getSub(utils.getVar(2)), ThreeValue.TRUE);
   
    RelationshipDelta delta = eff.makeEffects(env, utils.getSub(0));
    ObjectLabel[] labels = new ObjectLabel[] {utils.getSub(0).getSub(utils.getVar(0)), utils.getSub(0).getSub(utils.getVar(1))};
    SevenPointLattice val = delta.getValue(new Relationship(utils.getRelation(0), labels));
    assertEquals(SevenPointLattice.FAL, val);
   
    assertEquals(1, delta.numberOfChanges());
View Full Code Here
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
    assertEquals(1, delta.numberOfChanges());
  }

  @Test
  public void testMakeEffectsTestNegTrue() {
    Effect eff = RelEffect.createNegatedTestEffect(utils.getRelation(0), new SpecVar[] {utils.getVar(0), utils.getVar(1)}, utils.getVar(2));
    Map<ObjectLabel, ThreeValue> map = new HashMap<ObjectLabel, ThreeValue>();
    TestEnvironment env = new TestEnvironment(utils.getContext(0), map, Variant.SOUND_VARIANT);
   
    map.put(utils.getSub(0).getSub(utils.getVar(2)), ThreeValue.FALSE);
   
    RelationshipDelta delta = eff.makeEffects(env, utils.getSub(0));
    ObjectLabel[] labels = new ObjectLabel[] {utils.getSub(0).getSub(utils.getVar(0)), utils.getSub(0).getSub(utils.getVar(1))};
    SevenPointLattice val = delta.getValue(new Relationship(utils.getRelation(0), labels));
    assertEquals(SevenPointLattice.TRU, val);
   
    assertEquals(1, delta.numberOfChanges());
View Full Code Here
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
    assertEquals(1, delta.numberOfChanges());
  }

  @Test
  public void testMakeEffectsTestNegUnk() {
    Effect eff = RelEffect.createNegatedTestEffect(utils.getRelation(0), new SpecVar[] {utils.getVar(0), utils.getVar(1)}, utils.getVar(2));
    Map<ObjectLabel, ThreeValue> map = new HashMap<ObjectLabel, ThreeValue>();
    TestEnvironment env = new TestEnvironment(utils.getContext(0), map, Variant.SOUND_VARIANT);
   
    map.put(utils.getSub(0).getSub(utils.getVar(2)), ThreeValue.UNKNOWN);
   
    RelationshipDelta delta = eff.makeEffects(env, utils.getSub(0));
    ObjectLabel[] labels = new ObjectLabel[] {utils.getSub(0).getSub(utils.getVar(0)), utils.getSub(0).getSub(utils.getVar(1))};
    SevenPointLattice val = delta.getValue(new Relationship(utils.getRelation(0), labels));
    assertEquals(SevenPointLattice.UNK, val);
   
    assertEquals(1, delta.numberOfChanges());
View Full Code Here
TOP

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

  • edu.cmu.cs.fusion.test.constraint.TestEffect
    • 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.