Examples of Equality

eas.users.lukas.tnt.arithmetic.Equality
@author Lukas König
jmathexpr.relation.Equality
The binary relation equality (=). @author Elemér Furka
lupos.rif.model.Equality
org.apache.ode.ql.tree.nodes.Equality

Examples of jmathexpr.relation.Equality

        
        @Override
        public Expression apply() {
            Expression coef = a.hit();


            return new Equality(new Division(((Equality) target).lhs(), coef),
                    new Division(((Equality) target).rhs(), coef));
        }

View Full Code Here

Examples of jmathexpr.relation.Equality


            @Override
            public boolean matches(Expression expr) {
                ExpressionPattern diff = new Subtraction(s, a);
                
                return new Equality(diff, b).matches(expr);
            }

View Full Code Here

Examples of jmathexpr.relation.Equality

                return new Equality(diff, b).matches(expr);
            }


            @Override
            public Expression apply() {
                Equality eq = (Equality) target;
                Expression lhs = Sum.add(eq.lhs(), a.hit());
                Expression rhs = Sum.add(eq.rhs(), a.hit());


                return new Equality(lhs, rhs);
            }

View Full Code Here

Examples of jmathexpr.relation.Equality

                boolean satisfied = ((TruthValue) evaluated).toBoolean();
                
                System.out.printf("    check: %s at %s = %s: %s%n",
                        this, x.name(), expr, satisfied);
                if (!satisfied) {
                    Equality eq = new Equality(lhs.evaluate(), rhs.evaluate());
                    
                    ExpressionContext.getInstance().addStatement(
                            new Statement(Command.Expression, eq));
                }
                
                return satisfied;
            } else {
                Equality eq = (Equality) evaluated;
                throw new IllegalStateException(String.format(
                        "Cannot check equality: %s = %s (%s %s), %s = %s ",
                        eq.lhs(), eq.rhs(), eq.lhs().getClass().getSimpleName(), eq.rhs().getClass().getSimpleName(), x.name(), expr));
            }
        } finally {
            x.reset();
        }
    }

View Full Code Here

Examples of jmathexpr.relation.Equality

        
        @Override
        public boolean matches(Expression expr) {
            target = expr;
            
            return new Equality(new Sum(ax, b), new Sum(cx, d)).matches(expr);
        }

View Full Code Here

Examples of jmathexpr.relation.Equality

            if (coef.isNegative()) {
                coef = coef.negate();
                
                Expression cx = coef.isOne() ? x.evaluate() : new Multiplication(coef, x.evaluate());
                
                return new Equality(Sum.add(((Equality) target).lhs(), cx),
                    Sum.add(((Equality) target).rhs(), cx));
            } else {
                Expression cx = coef.isOne() ? x.evaluate() : new Multiplication(coef, x.evaluate());
                
                return new Equality(Sum.subtract(((Equality) target).lhs(), cx),
                    Sum.subtract(((Equality) target).rhs(), cx));
            }
        }

View Full Code Here

Examples of jmathexpr.relation.Equality


            @Override
            public boolean matches(Expression expr) {
                ExpressionPattern sum = new Sum(s, a);
                
                return new Equality(sum, b).matches(expr);
            }

View Full Code Here

Examples of jmathexpr.relation.Equality

                return new Equality(sum, b).matches(expr);
            }


            @Override
            public Expression apply() {
                Equality eq = (Equality) target;
                Expression lhs = Sum.subtract(eq.lhs(), a.hit());
                Expression rhs = Sum.subtract(eq.rhs(), a.hit());


                return new Equality(lhs, rhs);
            }

View Full Code Here

Examples of jmathexpr.relation.Equality


            @Override
            public boolean matches(Expression expr) {
                ExpressionPattern diff = new Subtraction(s, a);
                
                return new Equality(diff, b).matches(expr);
            }

View Full Code Here

Examples of jmathexpr.relation.Equality

                return new Equality(diff, b).matches(expr);
            }


            @Override
            public Expression apply() {
                Equality eq = (Equality) target;
                Expression lhs = Sum.add(eq.lhs(), a.hit());
                Expression rhs = Sum.add(eq.rhs(), a.hit());


                return new Equality(lhs, rhs);
            }

View Full Code Here

0 1 2 3 4

TOP

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.