bind(FunctionNode.AND( FunctionNode.OR( FunctionNode.EQ(varNode(x), varNode(y)),
bind(FunctionNode.AND( FunctionNode.OR( FunctionNode.EQ(varNode(x), varNode(y)),
tmp = filter( FunctionNode.AND( varNode(w), FunctionNode.OR(
tmp = filter( FunctionNode.AND( varNode(w), FunctionNode.OR(
bind(FunctionNode.AND( FunctionNode.OR( FunctionNode.EQ(varNode(x), varNode(y)),
final FunctionNode filterGt = FunctionNode.GT(new VarNode("s"), new VarNode("o")); final FunctionNode comb1 = FunctionNode.AND(filterEq, filterNeq); final FunctionNode comb2 = FunctionNode.AND(filterLe, filterLt); final FunctionNode comb3 = FunctionNode.AND(filterGt, filterGe); FunctionNode.AND(comb1, FunctionNode.AND(comb2,comb3)))); assertFalse(StaticAnalysis.isCNF(filterNode));
tmp = filter( FunctionNode.AND( varNode(w), FunctionNode.OR(
new FilterNode( FunctionNode.NOT( FunctionNode.AND(filterANot3, filterBNot4))); assertFalse(StaticAnalysis.isCNF(filterNode));
new FilterNode( FunctionNode.NOT( FunctionNode.AND(filterANot3, filterBNot4))); assertFalse(StaticAnalysis.isCNF(filterNode));