/** * Checks whether the filter node's value expression node is in CNF. */ static public boolean isCNF(final FilterNode filter) { return isCNF(filter.getValueExpressionNode()); }
/** * Checks whether the filter node's value expression node is in CNF. */ static public boolean isCNF(final FilterNode filter) { return isCNF(filter.getValueExpressionNode()); }
StaticAnalysis.isCNF(vexprNode) ? vexprNode : StaticAnalysis.toCNF(vexprNode);
StaticAnalysis.isCNF(vexprNode) ? vexprNode : StaticAnalysis.toCNF(vexprNode);
StaticAnalysis.toConjunctiveValueExpression(baseConjuncts); assertFalse(StaticAnalysis.isCNF(actual)); assertEquals(expected, actual);
toCheck, new ArrayList<IValueExpressionNode>()); assertFalse(StaticAnalysis.isCNF(toCheck)); assertEquals(actual.size(), 4); assertEquals(actual.get(0), bound1);
toCheck, new ArrayList<IValueExpressionNode>()); assertFalse(StaticAnalysis.isCNF(toCheck)); assertEquals(actual.size(), 4); assertEquals(actual.get(0), bound1);
StaticAnalysis.toConjunctiveValueExpression(baseConjuncts); assertFalse(StaticAnalysis.isCNF(actual)); assertEquals(expected, actual);
base, new ArrayList<FilterNode>()); assertFalse(StaticAnalysis.isCNF(base)); assertEquals(filters.size(), 4); assertEquals(filters.get(0), new FilterNode(or1));
base, new ArrayList<FilterNode>()); assertFalse(StaticAnalysis.isCNF(base)); assertEquals(filters.size(), 4); assertEquals(filters.get(0), new FilterNode(or1));
StaticAnalysis.toConjunctiveValueExpression(baseConjuncts); assertFalse(StaticAnalysis.isCNF(actual)); assertEquals(expected, actual);
toCheck, new ArrayList<IValueExpressionNode>()); assertFalse(StaticAnalysis.isCNF(toCheck)); assertEquals(actual.size(), 4); assertEquals(actual.get(0), bound1);
base, new ArrayList<FilterNode>()); assertFalse(StaticAnalysis.isCNF(base)); assertEquals(filters.size(), 4); assertEquals(filters.get(0), new FilterNode(or1));
new FilterNode( FunctionNode.EQ(new VarNode("s"), new VarNode("o"))); assertTrue(StaticAnalysis.isCNF(filterNode)); whereClause.addChild(filterNode);
new FilterNode( FunctionNode.EQ(new VarNode("s"), new VarNode("o"))); assertTrue(StaticAnalysis.isCNF(filterNode)); whereClause.addChild(filterNode);
new FilterNode( FunctionNode.EQ(new VarNode("s"), new VarNode("o"))); assertTrue(StaticAnalysis.isCNF(filterNode)); whereClause.addChild(filterNode);