Examples of Symbol


Examples of aima.core.logic.propositional.parsing.ast.Symbol

        List<Sentence> pair = pairs.get(i);
        // System.out.println("pair number" + i+" of "+pairs.size());
        Set<Sentence> resolvents = plResolve(pair.get(0), pair.get(1));
        resolvents = filterOutClausesWithTwoComplementaryLiterals(resolvents);

        if (resolvents.contains(new Symbol("EMPTY_CLAUSE"))) {
          return true;
        }
        newClauses = SetOps.union(newClauses, resolvents);
        // System.out.println("clauseslist size = " +clauses.size());
View Full Code Here

Examples of asciimath.Symbol

      Map<String, String> valueMap = parseValues(line);
      for (String key : valueMap.keySet()) {
        String value = valueMap.get(key);
        System.out.format("%s -> %s\n", key, value);
      }
      Symbol symbol = new Symbol(name);

      if (valueMap.containsKey("input")) {
        symbol.setInput(valueMap.get("input"));
      }
      if (valueMap.containsKey("tag")) {
        symbol.setTag(valueMap.get("tag"));
      }
      if (valueMap.containsKey("space")) {
        symbol.setSpace(valueMap.get("space"));
      }
      if (valueMap.containsKey("output")) {
        symbol.setOutput(valueMap.get("output"));
      }
      symbol.setDefinition("TRUE".equals(valueMap.get("definition")));
      symbol.setUnderover("TRUE".equals(valueMap.get("underover")));
      symbol.setUnary("TRUE".equals(valueMap.get("unary")));
      symbol.setFunc("TRUE".equals(valueMap.get("func")));
      symbol.setAcc("TRUE".equals(valueMap.get("acc")));
      symbol.setBinary("TRUE".equals(valueMap.get("binary")));
      symbol.setInfix("TRUE".equals(valueMap.get("infix")));
      symbol.setLeftBracket("TRUE".equals(valueMap.get("left_bracket")));
      symbol
          .setRightBracket("TRUE".equals(valueMap
              .get("right_bracket")));
      symbol.setInvisible("TRUE".equals(valueMap.get("invisible")));
      symbols.add(symbol);
      System.out.println(symbol);
    }
    in.close();

    for (Symbol symbol : symbols) {
      out.format("new Symbol(\"%s\", %s, %s, %s, %s, ", symbol.getName(),
          symbol.getInput(), symbol.getTag(), symbol.getOutput(),
          symbol.getSpace());
      out.format("%b, %b, %b, %b, ", symbol.isDefinition(), symbol
          .isUnderover(), symbol.isUnary(), symbol.isFunc());
      out.format("%b, %b, %b, %b, %b, %b, -1", symbol.isAcc(), symbol
          .isBinary(), symbol.isInfix(), symbol.isRightBracket(),
          symbol.isLeftBracket(), symbol.isInvisible());
      out.println("),");
    }

    out.close();
  }
View Full Code Here

Examples of beaver.Symbol

  StringBuffer strbuf = new StringBuffer(128);
  int sub_line;
  int sub_column;

  private Symbol sym(short id) {
    return new Symbol(id, yyline + 1, yycolumn + 1, len(), str());
  }
View Full Code Here

Examples of chunmap.view.render.Symbol

  public void draw(Feature data,Symbol symbol,int i) {
    if (!Thread.interrupted()) {
      if (data == null)return;
      //if (!renderableFilter(data))return;
     
      Symbol fsymbol=data.getSymbol();
      if(fsymbol!=null){
        fsymbol.tryDraw(painter.getGraphics(), data, view);
      }else{
        symbol.tryDraw(painter.getGraphics(), data, view);
      }
    }
  }
View Full Code Here

Examples of clojure.lang.Symbol

                {
                    throw new IllegalArgumentException(String.format("Method %s may not be void when bridging to Clojure functions.",
                            desc));
                }

                final Symbol symbol = mapper.mapMethod(namespace, method);

                tracker.run(String.format("Mapping %s method %s to Clojure function %s",
                        interfaceType.getName(),
                        desc.toShortString(),
                        symbol.toString()), new Runnable()
                {
                    @Override
                    public void run()
                    {

                        Symbol namespaceSymbol = Symbol.create(symbol.getNamespace());

                        REQUIRE.invoke(namespaceSymbol);

                        IFn clojureFunction = Clojure.var(symbol);
View Full Code Here

Examples of com.antlersoft.parser.Symbol

    }
    else
    {
      if ( ! m_finder.canGrow())
      {
        Symbol s=m_finder.currentSymbol();
        processToken( s, m_finder.currentText());
        m_finder.reset();
      }
    }
  }
View Full Code Here

Examples of com.cedarsoft.unit.Symbol

   * @param unitType the unit type
   * @return the symbol
   */
  @Nonnull
  public static String getSymbol( @Nonnull Class<? extends Annotation> unitType ) {
    Symbol symbol = unitType.getAnnotation( Symbol.class );
    if ( symbol == null ) {
      throw new IllegalArgumentException( "Missing annotation " + Symbol.class.getName() + " for " + unitType );
    }

    return symbol.value();
  }
View Full Code Here

Examples of com.facebook.presto.sql.planner.Symbol

    private StageExecutionPlan createTableScanPlan(String planId, MetadataManager metadata, int splitCount)
    {
        TableHandle tableHandle = metadata.getTableHandle(new QualifiedTableName("default", "default", DualMetadata.NAME)).get();
        ColumnHandle columnHandle = metadata.getColumnHandle(tableHandle, DualMetadata.COLUMN_NAME).get();
        Symbol symbol = new Symbol(DualMetadata.COLUMN_NAME);

        // table scan with 3 splits
        Split split = new DualSplit(HostAddress.fromString("127.0.0.1"));
        PlanNodeId tableScanNodeId = new PlanNodeId(planId);
        PlanFragment testFragment = new PlanFragment(new PlanFragmentId(planId),
View Full Code Here

Examples of com.google.javascript.jscomp.AnalyzePrototypeProperties.Symbol

      }

      Iterator<Symbol> declarations =
          nameInfo.getDeclarations().descendingIterator();
      while (declarations.hasNext()) {
        Symbol symbol = declarations.next();
        if (!(symbol instanceof Property)) {
          continue;
        }
        Property prop = (Property) symbol;
View Full Code Here

Examples of com.google.javascript.jscomp.SymbolTable.Symbol

        "/**\n"
        + " * @param {number} x\n"
        + " * @param y\n"
        + " */\n"
        + "var a;");
    Symbol x = getDocVar(table, "x");
    assertNotNull(x);
    assertEquals("number", x.getType().toString());
    assertEquals(1, table.getReferenceList(x).size());

    Symbol y = getDocVar(table, "y");
    assertNotNull(x);
    assertNull(y.getType());
    assertEquals(1, table.getReferenceList(y).size());
  }
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.