Examples of simplify()


Examples of aima.core.logic.fol.inference.otter.defaultimpl.DefaultClauseSimplifier.simplify()

    CNF cnf = cnfConverter.convertToCNF(s1);

    Assert.assertEquals(1, cnf.getNumberOfClauses());

    Clause simplified = simplifier.simplify(cnf.getConjunctionOfClauses()
        .get(0));

    Assert.assertEquals("[P(y,y), P(y,ONE), P(ONE,y)]",
        simplified.toString());
  }
View Full Code Here

Examples of client.net.sf.saxon.ce.expr.Expression.simplify()

            ExpressionVisitor visitor = makeExpressionVisitor();
            return new AnalyzeString(select,
                                     regex,
                                     flags,
                                     (matchingBlock==null ? null : matchingBlock.simplify(visitor)),
                                     (nonMatchingBlock==null ? null : nonMatchingBlock.simplify(visitor)));
        } catch (XPathException e) {
            compileError(e);
            return null;
        }
    }
View Full Code Here

Examples of client.net.sf.saxon.ce.expr.ExpressionVisitor.simplify()

            }

            try {

                ExpressionVisitor visitor = makeExpressionVisitor();
                body = visitor.simplify(body);

                procedure.setUseAttributeSets(useAttributeSets);
                procedure.setName(getObjectName());
                procedure.setBody(body);
                procedure.setSourceLocator(this);
View Full Code Here

Examples of com.google.javascript.jscomp.regex.RegExpTree.simplify()

        regexTree = RegExpTree.parseRegExp(pattern, flags);
      } catch (IllegalArgumentException ex) {
        // Warnings are propagated in the CheckRegExp pass.
        return subtree;
      }
      regexTree = regexTree.simplify(flags);
      // Decompose the AST.
      String literal = regexTree.toString();
      String newPattern = literal.substring(1, literal.length() - 1);
      // Remove unnecessary flags and order them consistently for gzip.
      String newFlags = (
View Full Code Here

Examples of com.google.javascript.jscomp.regex.RegExpTree.simplify()

        regexTree = RegExpTree.parseRegExp(pattern, flags);
      } catch (IllegalArgumentException ex) {
        // Warnings are propagated in the CheckRegExp pass.
        return subtree;
      }
      regexTree = regexTree.simplify(flags);
      // Decompose the AST.
      String literal = regexTree.toString();
      String newPattern = literal.substring(1, literal.length() - 1);
      // Remove unnecessary flags and order them consistently for gzip.
      String newFlags = (
View Full Code Here

Examples of dk.brics.string.flow.FlowGraph.simplify()

            for (Map.Entry<Statement, Node> me : m2.entrySet()) {
                log.debug("  " + me.getKey() + " -> " + me.getValue());
            }
        }
        log.info("Simplifying flow graph...");
        Map<Node, Node> m3 = g.simplify();
        Set<Node> nodes = new HashSet<Node>();
        for (Statement ss : hotspot_statements) {
            Node beforeSimplifyNode = m2.get(ss);
            Node n = m3.get(beforeSimplifyNode);
            if (n != null) {
View Full Code Here

Examples of eas.simulation.spatial.sim2D.marbSimulation.endlAutomat.conditions.Condition.simplify()

                        cZwisch[j],
                        eas.simulation.spatial.sim2D.marbSimulation.Konstanten.UND);
            }
        }
       
        c = c.simplify();
       
        // BO
//        System.out.println();
//        System.out.println(
//            aut.holeKnoten(quellKnotNam).getInfo().getBedingungen());
View Full Code Here

Examples of eas.simulation.spatial.sim2D.marbSimulation.endlAutomat.conditions.ConstLeaf.simplify()

                    cond,
                    zwisch,
                    eas.simulation.spatial.sim2D.marbSimulation.Konstanten.UND);
        }
       
        cond = cond.simplify();
       
        if (!cond.equals(new ConstLeaf(false))) {
            this.einfuegKante(kn1, kn2, cond, 1);
        }
    }
View Full Code Here

Examples of fmg.fmg8.endlAutomat.conditions.Condition.simplify()

                        cZwisch[j],
                        fmg.fmg8.endlAutomat.Konstanten.UND);
            }
        }
       
        c = c.simplify();
       
        // BO
//        System.out.println();
//        System.out.println(
//            aut.holeKnoten(quellKnotNam).getInfo().getBedingungen());
View Full Code Here

Examples of fmg.fmg8.endlAutomat.conditions.ConstLeaf.simplify()

                        getBedingungen().get(i).getCond().formatted());
            zwisch.negiere();
            cond = new InnerNode(cond, zwisch, endlicherAutomat.Konstanten.UND);
        }
       
        cond = cond.simplify();
       
        if (!cond.equals(new ConstLeaf(false))) {
            this.einfuegKante(kn1, kn2, cond, 1);
        }
    }
View Full Code Here
TOP
Copyright © 2018 www.massapi.com. 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.