/** * Unit test for {@link INConstraint#accept(IBindingSet)} */ public void testAccept () { Var<?> x = Var.var ( "x" ) ; Constant<Integer> val1 = new Constant<Integer> ( 1 ) ; Constant<Integer> val2 = new Constant<Integer> ( 2 ) ; Constant<Integer> val3 = new Constant<Integer> ( 3 ) ; INConstraint op = newINConstraint ( x, new IConstant [] { val1, val2 } ) ; IBindingSet in = new ListBindingSet ( new IVariable<?> [] { x }, new IConstant [] { val1 } ) ; IBindingSet notin = new ListBindingSet ( new IVariable<?> [] { x }, new IConstant [] { val3 } ) ; IBindingSet nb = new ListBindingSet ( new IVariable<?> [] {}, new IConstant [] {} ) ; assertTrue ( op.get ( in ) ) ; assertFalse ( op.get ( notin ) ) ; // FIXME Modify to assertFalse() - unbound variables should fail constraints assertTrue ( op.get ( nb ) ) ; }
/** * Unit test for {@link INConstraint#accept(IBindingSet)} */ public void testAccept () { Var<?> x = Var.var ( "x" ) ; Constant<Integer> val1 = new Constant<Integer> ( 1 ) ; Constant<Integer> val2 = new Constant<Integer> ( 2 ) ; Constant<Integer> val3 = new Constant<Integer> ( 3 ) ; INConstraint op = newINConstraint ( x, new IConstant [] { val1, val2 } ) ; IBindingSet in = new ListBindingSet ( new IVariable<?> [] { x }, new IConstant [] { val1 } ) ; IBindingSet notin = new ListBindingSet ( new IVariable<?> [] { x }, new IConstant [] { val3 } ) ; IBindingSet nb = new ListBindingSet ( new IVariable<?> [] {}, new IConstant [] {} ) ; assertTrue ( op.get ( in ) ) ; assertFalse ( op.get ( notin ) ) ; // FIXME Modify to assertFalse() - unbound variables should fail constraints assertTrue ( op.get ( nb ) ) ; }