/** * Returns a fresh filter node with the specified variable in their * {@link ValueExpressionNode}. The filter is not of type * EXISTS or NOT EXISTS. */ FilterNode filterWithVar(final String varName) { final FilterNode fn = (FilterNode) new Helper(){{ tmp = filter(FunctionNode.EQ(varNode(varName),constantNode(a))); }}.getTmp(); return (FilterNode)resolveVEs(fn); }
/** * Returns a fresh filter node with the specified variable in their * {@link ValueExpressionNode}. The filter is not of type * EXISTS or NOT EXISTS. */ FilterNode filterWithVar(final String varName) { final FilterNode fn = (FilterNode) new Helper(){{ tmp = filter(FunctionNode.EQ(varNode(varName),constantNode(a))); }}.getTmp(); return (FilterNode)resolveVEs(fn); }
/** * Returns a fresh filter node with the specified variable in their * {@link ValueExpressionNode}. The filter is not of type * EXISTS or NOT EXISTS. */ FilterNode filterWithVar(final String varName) { final FilterNode fn = (FilterNode) new Helper(){{ tmp = filter(FunctionNode.EQ(varNode(varName),constantNode(a))); }}.getTmp(); return (FilterNode)resolveVEs(fn); }
bind(FunctionNode.AND( FunctionNode.OR( FunctionNode.EQ(varNode(x), varNode(y)), constantNode(z)), varNode(z)),
bind(FunctionNode.AND( FunctionNode.OR( FunctionNode.EQ(varNode(x), varNode(y)), constantNode(z)), varNode(z)),
varNode(w), FunctionNode.OR( FunctionNode.EQ(constantNode(w), varNode(y)), FunctionNode.LT(varNode(x), varNode(z)) )));
varNode(w), FunctionNode.OR( FunctionNode.EQ(constantNode(w), varNode(y)), FunctionNode.LT(varNode(x), varNode(z)) )));
bind(FunctionNode.AND( FunctionNode.OR( FunctionNode.EQ(varNode(x), varNode(y)), constantNode(z)), varNode(z)),
varNode(w), FunctionNode.OR( FunctionNode.EQ(constantNode(w), varNode(y)), FunctionNode.LT(varNode(x), varNode(z)) )));
final FunctionNode filterEq = FunctionNode.EQ(new VarNode("s"), new VarNode("o")); final FunctionNode filterNeq = FunctionNode.NE(new VarNode("s"), new VarNode("o")); final FunctionNode filterLe = FunctionNode.LE(new VarNode("s"), new VarNode("o")); final FunctionNode filterNeqInv = FunctionNode.EQ(new VarNode("s"), new VarNode("o")); final FunctionNode filterLeInv = FunctionNode.GT(new VarNode("s"), new VarNode("o")); final FunctionNode filterLtInv = FunctionNode.GE(new VarNode("s"), new VarNode("o"));