Package fasp.datatypes

Examples of fasp.datatypes.FaspConstant

497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
      Map<Pair<String, String>, Double> distances) {
    Map<String, Integer> boolVars = new HashMap<String, Integer>();

    ArrayList<FaspConstant> town = new ArrayList<FaspConstant>();
    for (String t : townStrings) {
      town.add(new FaspConstant(t));
    }
    ArrayList<FaspConstant> atm = new ArrayList<FaspConstant>();
    for (String a : atmStrings) {
      atm.add(new FaspConstant(a));
    }
    for (FaspConstant a : atm) {
      for (FaspConstant t1 : town) {
        for (FaspConstant t2 : town) {
          // Different to the TPLP paper:
View Full Code Here
29
30
31
32
33
34
35
36
37
38
39
      Token lookahead = st.lookahead();
      if(lookahead.getType().equals(Token.Type.SYMBOL)) {
        SymbolToken sym = (SymbolToken)lookahead;
        if(Character.isLowerCase(sym.getSymbol().charAt(0))) {
          st.eat();
          return new FaspConstant(sym.getSymbol());
        } else {
          throw new ParseException(st,"constant","variable");
        }
      } else {
        throw new ParseException(st,"constant",st.lookahead().toString());
View Full Code Here
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
  private static ArrayList<String> createVarOrderings(String[] towns, String[] atms,
      Map<Pair<String, String>, Double> distances) {
    ArrayList<String> varOrder = new ArrayList<String>();
    ArrayList<FaspConstant> town = new ArrayList<FaspConstant>();
    for (String t : towns) {
      town.add(new FaspConstant(t));
    }
    ArrayList<FaspConstant> atm = new ArrayList<FaspConstant>();
    for (String a : atms) {
      atm.add(new FaspConstant(a));
    }

    // 1. Add the near and conn predicates that are given as facts first:
    for (FaspConstant t1 : town) {
      for (FaspConstant t2 : town) {
View Full Code Here
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
      Map<Pair<String, String>, Double> distances, Double k) {

    // Town and ATM definitions
    ArrayList<FaspConstant> town = new ArrayList<FaspConstant>();
    for (String t : towns) {
      town.add(new FaspConstant(t));
    }
    ArrayList<FaspConstant> atm = new ArrayList<FaspConstant>();
    for (String a : atms) {
      atm.add(new FaspConstant(a));
    }

    // Program
    ArrayList<GroundRule> rules = new ArrayList<GroundRule>();
View Full Code Here
TOP

Related Classes of fasp.datatypes.FaspConstant

  • fasp.parser.parsers.ConstantParser
  • fasp.TPLPProgram
    • 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.