Package edu.cmu.cs.fusion.constraint.predicates

Examples of edu.cmu.cs.fusion.constraint.predicates.FalsePredicate

24
25
26
27
28
29
30
31
32
33
  }
 
  @Test
  public void testFreeVars() {
    Predicate tPred = new TruePredicate();
    Predicate fPred = new FalsePredicate();
   
    assertTrue(tPred.getFreeVariables().isEmpty());
    assertTrue(fPred.getFreeVariables().isEmpty());
  }
View Full Code Here
32
33
34
35
36
37
38
39
40
41
    assertTrue(fPred.getFreeVariables().isEmpty());
  }
 
  @Test
  public void testTruthFalse() {
    Predicate fPred = new FalsePredicate();
    FusionEnvironment env = new TestEnvironment(utils.getContext(0), Variant.SOUND_VARIANT);
   
    assertEquals(fPred.getTruth(env, utils.getSub(0)), ThreeValue.FALSE);
  }
View Full Code Here
TOP

Related Classes of edu.cmu.cs.fusion.constraint.predicates.FalsePredicate

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