Package jmathexpr.relation

Examples of jmathexpr.relation.Equality

137
138
139
140
141
142
143
            @Override
            public boolean matches(Expression expr) {
                ExpressionPattern diff = new Subtraction(s, a);
               
                return new Equality(diff, b).matches(expr);
            }
View Full Code Here
142
143
144
145
146
147
148
149
150
151
152
                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
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
                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
149
150
151
152
153
154
155
       
        @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
163
164
165
166
167
168
169
170
171
172
173
174
175
176
            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
128
129
130
131
132
133
134
            @Override
            public boolean matches(Expression expr) {
                ExpressionPattern sum = new Sum(s, a);
               
                return new Equality(sum, b).matches(expr);
            }
View Full Code Here
133
134
135
136
137
138
139
140
141
142
143
                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
150
151
152
153
154
155
156
            @Override
            public boolean matches(Expression expr) {
                ExpressionPattern diff = new Subtraction(s, a);
               
                return new Equality(diff, b).matches(expr);
            }
View Full Code Here
155
156
157
158
159
160
161
162
163
164
165
                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
179
180
181
182
183
184
185
186
187
188
        }

        @Override
        public Expression apply() {
            ANumber two = Naturals.getInstance().create(2);
            Equality eq = (Equality) target;
           
            return new Equality(new Exponentiation(eq.lhs(), two),
                    new Exponentiation(eq.rhs(), two));
        }
View Full Code Here
TOP

Related Classes of jmathexpr.relation.Equality

  • jmathexpr.arithmetic.equation.AbsoluteValueEquation$Isolate$Addition
  • jmathexpr.arithmetic.equation.AbsoluteValueEquation$Isolate$Difference
  • jmathexpr.arithmetic.equation.Equation
  • jmathexpr.arithmetic.equation.LinearEquation$AxeB
  • jmathexpr.arithmetic.equation.LinearEquation$AxpBeC$AdditionC
  • jmathexpr.arithmetic.equation.LinearEquation$AxpBeC$SubtractionC
  • jmathexpr.arithmetic.equation.LinearEquation$AxpBeC$SubtractionX
  • jmathexpr.arithmetic.equation.LinearEquation$VariableOnBothSides
  • jmathexpr.arithmetic.equation.QuadraticEquation$Canonical
  • jmathexpr.arithmetic.equation.QuadraticEquation$Factor
    • Copyright © 2018 www.massapicom. All rights reserved.
    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.