public Boolean get(final IBindingSet s) { // get binding for "x". final IConstant<?> x = s.get((IVariable<?>) get(0)/* x */); if (x == null) return true; // not yet bound. // get binding for "y". final IConstant<?> y = s.get((IVariable<?>) get(1)/* y */); if (y == null) return true; // not yet bound. return !x.equals(y); }
public Boolean get(final IBindingSet s) { // get binding for "x". final IConstant<?> x = s.get((IVariable<?>) get(0)/* x */); if (x == null) return true; // not yet bound. // get binding for "y". final IConstant<?> y = s.get((IVariable<?>) get(1)/* y */); if (y == null) return true; // not yet bound. return !x.equals(y); }
/** * Unit test for {@link NE#get(IBindingSet)} */ public void testGet () { final Var<?> x = Var.var ( "x" ) ; final Var<?> y = Var.var ( "y" ) ; final Var<?> vars [] = new Var<?> [] { x, y } ; final NE op = new NE ( x, y ) ; final IBindingSet eq = new ListBindingSet ( vars, new IConstant [] { new Constant<String> ( "1" ), new Constant<String> ( "1" ) } ) ; final IBindingSet ne = new ListBindingSet ( vars, new IConstant [] { new Constant<String> ( "1" ), new Constant<String> ( "2" ) } ) ; final IBindingSet nb = new ListBindingSet ( new IVariable<?> [] { x }, new IConstant [] { new Constant<String> ( "1" ) } ) ; assertTrue ( op.get ( ne ) ) ; assertFalse ( op.get ( eq ) ) ; assertTrue ( op.get ( nb ) ) ; } }
/** * Unit test for {@link NE#get(IBindingSet)} */ public void testGet () { final Var<?> x = Var.var ( "x" ) ; final Var<?> y = Var.var ( "y" ) ; final Var<?> vars [] = new Var<?> [] { x, y } ; final NE op = new NE ( x, y ) ; final IBindingSet eq = new ListBindingSet ( vars, new IConstant [] { new Constant<String> ( "1" ), new Constant<String> ( "1" ) } ) ; final IBindingSet ne = new ListBindingSet ( vars, new IConstant [] { new Constant<String> ( "1" ), new Constant<String> ( "2" ) } ) ; final IBindingSet nb = new ListBindingSet ( new IVariable<?> [] { x }, new IConstant [] { new Constant<String> ( "1" ) } ) ; assertTrue ( op.get ( ne ) ) ; assertFalse ( op.get ( eq ) ) ; assertTrue ( op.get ( nb ) ) ; } }