Examples of jmathexpr.set.ElementOf

jmathexpr.set.ElementOf
A binary relation that tests if the left argument is element (member) of the set represented by the right argument. @author Elemér Furka

    public void testIntervals() {
        Expression contains, evaluated;
        Interval interval = new Interval(true, N.create(0), N.create(1), true); // [0, 1]
        System.out.printf("%s%n", interval);


        contains = new ElementOf(R.create(-1), interval);
        evaluated = contains.evaluate();
        System.out.printf("  %s : %s%n", contains, evaluated);
        assertEquals(evaluated, TruthValue.False);
        
        contains = new ElementOf(R.create(0), interval);
        evaluated = contains.evaluate();        
        System.out.printf("  %s : %s%n", contains, evaluated);
        assertEquals(evaluated, TruthValue.True);
        
        interval = new Interval(false, N.create(0), N.create(1), true); // (0, 1]
        System.out.printf("%s%n", interval);
        
        contains = new ElementOf(R.create(0), interval);
        evaluated = contains.evaluate();
        System.out.printf("  %s : %s%n", contains, evaluated);
        assertEquals(evaluated, TruthValue.False);
        
        contains = new ElementOf(Z.create(13), interval);
        evaluated = contains.evaluate();
        System.out.printf("  %s : %s%n", contains, evaluated);
        assertEquals(evaluated, TruthValue.False);
        
        interval = new Interval(false, N.create(0), Infinity.PLUS_INFINITY, false); // (0, inf)
        System.out.printf("%s%n", interval);


        contains = new ElementOf(R.create(3.14), interval);
        evaluated = contains.evaluate();
        System.out.printf("  %s : %s%n", contains, evaluated);
        assertEquals(evaluated, TruthValue.True);
    }

View Full Code Here

        evaluated = difference.evaluate();
        System.out.printf("%s = %s%n", difference, evaluated);
        assertEquals(evaluated, new LongRationalNumber(1, 2));
        
        Expression product = new Multiplication(new LongRationalNumber(2, 3), new LongRationalNumber(9, 2));
        ElementOf isNatural = new ElementOf(product, N);
        evaluated = isNatural.evaluate();
        System.out.printf("%s = %s : %s%n", product.evaluate(), isNatural, evaluated);
        assertEquals(evaluated, TruthValue.True);
        
        System.out.println(Q.create("-3.750"));
    }

View Full Code Here

        Expression equality = new Equality(naturalExpr, N.create(42));
        evaluated = equality.evaluate();
        System.out.printf("%s : %s%n", equality, evaluated);
        assertEquals(evaluated, TruthValue.True);
                
        Expression elementOf = new ElementOf(naturalExpr, N);
        evaluated = elementOf.evaluate();
        System.out.printf("%s : %s%n", elementOf, evaluated);
        assertEquals(evaluated, TruthValue.True);
        
        elementOf = new ElementOf(six, N);
        evaluated = elementOf.evaluate();
        System.out.printf("%s : %s%n", elementOf, evaluated);
        assertEquals(evaluated, TruthValue.True);
        
        Expression sqrt = new Sqrt(N.create(45));
        evaluated = sqrt.evaluate();

View Full Code Here

    public void exitLet(ExpressionsParser.LetContext ctx) {
        Set domain = (Set) stack.pop();
        Variable tmp = (Variable) stack.pop();
        
        Variable x = new Variable(tmp.name(), domain);
        Expression contains = new ElementOf(x, domain);
        
        statement = new Statement(Command.Let, contains);
        
        ExpressionContext.getInstance().addVariable(x);
        stack.push(contains);

View Full Code Here

TOP

Related Classes of jmathexpr.set.ElementOf

jmathexpr.Expression

jmathexpr.set.op.CartesianProduct

jmathexpr.test.arithmetic.ArithmeticTest

jmathexpr.util.parser.AntlrExpressionListener

All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.