Examples of DistributiveLawApplyer

Examples of de.fuberlin.wiwiss.d2rq.engine.TransformFilterCNF.DistributiveLawApplyer

87
88
89
90
91
92
93
94
95
    assertEquals("( ( ?a && ?b ) && ?c )", apply.result().toString());
  }
 
  public void testExprDistributiveUsingFunctions() {
    Expr expr = ExprUtils.parse("( ( ( ?n = 1 ) && bound(?pref) ) && bound(?n) )");
    DistributiveLawApplyer apply = new DistributiveLawApplyer();
    expr.visit(apply);
    assertEquals("( ( ( ?n = 1 ) && bound(?pref) ) && bound(?n) )", apply.result().toString());
  }
View Full Code Here

Examples of de.fuberlin.wiwiss.d2rq.engine.TransformFilterCNF.DistributiveLawApplyer

48
49
50
51
52
53
54
55
56
57
    assertEquals("( ! ( ?a && ?b ) )", apply.result().toString());
  }
 
  public void testExprDistributiveABOrC() {
    Expr expr = ExprUtils.parse("(( ?a && ?b ) || ?c )");
    DistributiveLawApplyer apply = new DistributiveLawApplyer();
    expr.visit(apply);
    assertNotNull(apply.result());
    assertEquals("( ( ?a || ?c ) && ( ?b || ?c ) )", apply.result().toString());
  }
View Full Code Here

Examples of de.fuberlin.wiwiss.d2rq.engine.TransformFilterCNF.DistributiveLawApplyer

56
57
58
59
60
61
62
63
64
65
    assertEquals("( ( ?a || ?c ) && ( ?b || ?c ) )", apply.result().toString());
  }

  public void testExprDistributiveCOrAB() {
    Expr expr = ExprUtils.parse("?c || ( ?a && ?b )");
    DistributiveLawApplyer apply = new DistributiveLawApplyer();
    expr.visit(apply);
    assertNotNull(apply.result());
    assertEquals("( ( ?c || ?a ) && ( ?c || ?b ) )", apply.result().toString());
  }
View Full Code Here

Examples of de.fuberlin.wiwiss.d2rq.engine.TransformFilterCNF.DistributiveLawApplyer

64
65
66
67
68
69
70
71
72
73
    assertEquals("( ( ?c || ?a ) && ( ?c || ?b ) )", apply.result().toString());
  }

  public void testExprDistributiveAndDontChange() {
    Expr expr = ExprUtils.parse("!(?a || ?b) && ?c");
    DistributiveLawApplyer apply = new DistributiveLawApplyer();
    expr.visit(apply);
    assertNotNull(apply.result());
    assertEquals("( ( ! ( ?a || ?b ) ) && ?c )", apply.result().toString());
  }
View Full Code Here

Examples of de.fuberlin.wiwiss.d2rq.engine.TransformFilterCNF.DistributiveLawApplyer

72
73
74
75
76
77
78
79
80
81
    assertEquals("( ( ! ( ?a || ?b ) ) && ?c )", apply.result().toString());
  }
 
  public void testExprDistributiveOrComplex() {
    Expr expr = ExprUtils.parse("(?c || ( ?a && ?b )) || (?d && ?e)");
    DistributiveLawApplyer apply = new DistributiveLawApplyer();
    expr.visit(apply);
    assertNotNull(apply.result());
    assertEquals("( ( ( ( ?c || ?a ) || ?d ) && ( ( ?c || ?b ) || ?d ) ) && ( ( ( ?c || ?a ) || ?e ) && ( ( ?c || ?b ) || ?e ) ) )", apply.result().toString()); // correct
  }
View Full Code Here

Examples of de.fuberlin.wiwiss.d2rq.engine.TransformFilterCNF.DistributiveLawApplyer

80
81
82
83
84
85
86
87
88
    assertEquals("( ( ( ( ?c || ?a ) || ?d ) && ( ( ?c || ?b ) || ?d ) ) && ( ( ( ?c || ?a ) || ?e ) && ( ( ?c || ?b ) || ?e ) ) )", apply.result().toString()); // correct
  }
 
  public void testExprDistributiveABC() {
    Expr expr = ExprUtils.parse("(( ?a && ?b ) && ?c )");
    DistributiveLawApplyer apply = new DistributiveLawApplyer();
    expr.visit(apply);
    assertEquals("( ( ?a && ?b ) && ?c )", apply.result().toString());
  }
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.