FunctionNode.NOT( new FunctionNode(FunctionRegistry.BOUND, null, new ValueExpressionNode[] { new VarNode("o") })); final FunctionNode filterANot2 = FunctionNode.NOT(filterANot1); final FunctionNode filterANot3 = FunctionNode.NOT(filterANot2); FunctionNode.NOT( new FunctionNode(FunctionRegistry.EQ, null, new ValueExpressionNode[] { new VarNode("s"), new VarNode("o") })); final FunctionNode filterBNot2 = FunctionNode.NOT(filterBNot1); final FunctionNode filterBNot3 = FunctionNode.NOT(filterBNot2); final FunctionNode filterBNot4 = FunctionNode.NOT(filterBNot3); FunctionNode.NOT( FunctionNode.OR(filterANot3, filterBNot4))); assertFalse(StaticAnalysis.isCNF(filterNode));
FunctionNode.NOT( new FunctionNode(FunctionRegistry.BOUND, null, new ValueExpressionNode[] { new VarNode("o") })); final FunctionNode filterANot2 = FunctionNode.NOT(filterANot1); final FunctionNode filterANot3 = FunctionNode.NOT(filterANot2); FunctionNode.NOT( new FunctionNode(FunctionRegistry.EQ, null, new ValueExpressionNode[] { new VarNode("s"), new VarNode("o") })); final FunctionNode filterBNot2 = FunctionNode.NOT(filterBNot1); final FunctionNode filterBNot3 = FunctionNode.NOT(filterBNot2); final FunctionNode filterBNot4 = FunctionNode.NOT(filterBNot3); FunctionNode.NOT( FunctionNode.OR(filterANot3, filterBNot4))); assertFalse(StaticAnalysis.isCNF(filterNode));
FunctionNode.NOT( new FunctionNode(FunctionRegistry.BOUND, null, new ValueExpressionNode[] { new VarNode("o") })); final FunctionNode filterANot2 = FunctionNode.NOT(filterANot1); final FunctionNode filterANot3 = FunctionNode.NOT(filterANot2); FunctionNode.NOT( new FunctionNode(FunctionRegistry.EQ, null, new ValueExpressionNode[] { new VarNode("s"), new VarNode("o") })); final FunctionNode filterBNot2 = FunctionNode.NOT(filterBNot1); final FunctionNode filterBNot3 = FunctionNode.NOT(filterBNot2); final FunctionNode filterBNot4 = FunctionNode.NOT(filterBNot3); FunctionNode.NOT( FunctionNode.AND(filterANot3, filterBNot4))); assertFalse(StaticAnalysis.isCNF(filterNode));
final FunctionNode not1 = FunctionNode.NOT(bound2);
final FunctionNode not1 = FunctionNode.NOT(bound2);
final FunctionNode not1 = FunctionNode.NOT(bound2);
final FunctionNode not1 = FunctionNode.NOT(bound2);
final FunctionNode not1 = FunctionNode.NOT(bound2);
final FunctionNode not1 = FunctionNode.NOT(bound2);
FunctionNode.NOT( new FunctionNode(FunctionRegistry.BOUND, null, new ValueExpressionNode[] { new VarNode("o") })); final FunctionNode filterANot2 = FunctionNode.NOT(filterANot1); final FunctionNode filterANot3 = FunctionNode.NOT(filterANot2); FunctionNode.NOT( new FunctionNode(FunctionRegistry.EQ, null, new ValueExpressionNode[] { new VarNode("s"), new VarNode("o") })); final FunctionNode filterBNot2 = FunctionNode.NOT(filterBNot1); final FunctionNode filterBNot3 = FunctionNode.NOT(filterBNot2); final FunctionNode filterBNot4 = FunctionNode.NOT(filterBNot3); FunctionNode.NOT( FunctionNode.OR(filterANot3, filterBNot4))); assertFalse(StaticAnalysis.isCNF(filterNode));
FunctionNode.NOT( new FunctionNode(FunctionRegistry.BOUND, null, new ValueExpressionNode[] { new VarNode("o") })); final FunctionNode filterANot2 = FunctionNode.NOT(filterANot1); final FunctionNode filterANot3 = FunctionNode.NOT(filterANot2); FunctionNode.NOT( new FunctionNode(FunctionRegistry.EQ, null, new ValueExpressionNode[] { new VarNode("s"), new VarNode("o") })); final FunctionNode filterBNot2 = FunctionNode.NOT(filterBNot1); final FunctionNode filterBNot3 = FunctionNode.NOT(filterBNot2); final FunctionNode filterBNot4 = FunctionNode.NOT(filterBNot3); FunctionNode.NOT( FunctionNode.AND(filterANot3, filterBNot4))); assertFalse(StaticAnalysis.isCNF(filterNode));
final FunctionNode not1 = FunctionNode.NOT(bound2);
final FunctionNode not1 = FunctionNode.NOT(bound2);
final FunctionNode not1 = FunctionNode.NOT(bound2);
FunctionNode.NOT( FunctionNode.AND(FunctionNode.AND(comb1, comb2),comb3)));
FunctionNode.NOT( FunctionNode.AND(comb1, FunctionNode.AND(comb2,comb3)))); assertFalse(StaticAnalysis.isCNF(filterNode));
FunctionNode.NOT( FunctionNode.AND(FunctionNode.AND(comb1, comb2),comb3)));
FunctionNode.NOT( FunctionNode.AND(FunctionNode.AND(comb1, comb2),comb3)));
FunctionNode.NOT( FunctionNode.AND(comb1, FunctionNode.AND(comb2,comb3)))); assertFalse(StaticAnalysis.isCNF(filterNode));