Examples of ExpList

Examples of cs227b.teamIago.resolver.ExpList

49
50
51
52
53
54
55
56
57
58
  ExpList explist = parseExpList(stmts);
  return explist;
}

static ExpList parseExpList(List stmts){
  ExpList res=new ExpList();
  for (int i=0;i<stmts.size();i++)
    res.add(parseExpression(stmts.get(i))); 
  return res;
}
View Full Code Here

Examples of cs227b.teamIago.resolver.ExpList

63
64
65
66
67
68
69
70
71
72
73
        gdl = gdl.substring(1, gdl.length()-1).trim();
  Axioms a = new Axioms();
  a.parseFromString(gdl);
  ArrayList stmts = a.Statements;
 
  ExpList explist = parseExpList(stmts);
  return explist;
   
   
    /*
  gdl = gdl.trim();
View Full Code Here

Examples of cs227b.teamIago.resolver.ExpList

122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
 
  // TYPES OF EXPRESSIONS
  // 1. Implication
  if (opt.equals("<=")){ // type implication
    Expression consequence = parseExpression(s.members.get(0));
    ExpList premises = parseExpList(s.members.subList(1, s.members.size()));
    res = new Implication(consequence, premises);
  } else if (opt.equals("=>")){ // type implication
    Expression consequence = parseExpression(s.members.get(s.members.size()-1));
    ExpList premises = parseExpList(s.members.subList(0, s.members.size()-1));
    res = new Implication(consequence, premises);
  }
  else if (opt.equals("OR") && s.members.size() >= 2)
  {
//    if (s.members.size() < 2)
View Full Code Here

Examples of cs227b.teamIago.resolver.ExpList

58
59
60
61
62
63
64
65
  public List<TermInterface> getArgs() {
    if(nativeTerm instanceof Connective){
      return new TermList(((Connective)nativeTerm).getOperands());
    }else{
      return new TermList(new ExpList());
    }
  }
View Full Code Here

Examples of cs227b.teamIago.resolver.ExpList

69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
      return gameSim.IsTerminal();
    }
  }

  public List<? extends RoleInterface<Term>> getRoles() {
    ExpList expList;
    synchronized (gameSim) {
      expList=gameSim.GetRoles();
    }
    List<Role<Term>> roles=new ArrayList<Role<Term>>();
    for(int i=0;i<expList.size();i++){
      roles.add(new Role<Term>(new Term(expList.get(i))));
    }
    return roles;
  }
View Full Code Here

Examples of cs227b.teamIago.resolver.ExpList

81
82
83
84
85
86
87
88
89
90
91
    }
    return roles;
  }

  public GameState getSuccessorState(GameState state, JointMoveInterface<Term> jointMove) {
    ExpList movesList = getMovesListForJointMove(jointMove);
    synchronized (gameSim) {
      gameSim.SetGameState(state);
      gameSim.SimulateStep(movesList);
      return gameSim.GetGameState();
    }
View Full Code Here

Examples of cs227b.teamIago.resolver.ExpList

90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
      return gameSim.GetGameState();
    }
  }

  private static ExpList getMovesListForJointMove(JointMoveInterface<Term> jointMove) {
    ExpList movesList=new ExpList();
    assert(jointMove!=null);
    for(Entry<? extends RoleInterface<Term>, ? extends MoveInterface<Term>> entry:jointMove.entrySet()){
      ExpList doesArgs=new ExpList();
      doesArgs.add(entry.getKey().getTerm().getExpr());
      doesArgs.add(entry.getValue().getTerm().getExpr());
      movesList.add(new Predicate(new Atom("DOES"), doesArgs));
    }
    return movesList;
  }
View Full Code Here

Examples of cs227b.teamIago.resolver.ExpList

104
105
106
107
108
109
110
111
112
113
114
115
116
  }
 
  public boolean isLegal(GameState state, RoleInterface<Term> role, MoveInterface<Term> move) {
    synchronized (gameSim) {
      gameSim.SetGameState(state);
      ExpList expList=new ExpList();
      expList.add(role.getTerm().getExpr());
      expList.add(move.getTerm().getExpr());
      try {
        return gameSim.getTheory().findp(new Predicate(new Atom("LEGAL"),expList));
      } catch (InterruptedException e) {
        Logger logger=Logger.getLogger(Reasoner.class.getName());
        logger.severe("reasoner was interrupted during findp("+new Predicate(new Atom("LEGAL"),expList)+"):");
View Full Code Here

Examples of cs227b.teamIago.resolver.ExpList

126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
      return gameSim.GetGoalValue(role.getTerm().getExpr());
    }
  }

  public Collection<? extends MoveInterface<Term>> getLegalMoves(GameState state, RoleInterface<Term> role) {
    ExpList exprlist;
    synchronized (gameSim) {
      gameSim.SetGameState(state);
      exprlist=gameSim.GetLegalMoves(role.getTerm().getExpr());
    }
    Collection<MoveInterface<Term>> moveslist;
    if (exprlist == null) {
      Logger.getLogger(Reasoner.class.getCanonicalName()).warning(role+" has no legal move!");
      moveslist = Collections.emptyList();
    } else {
      moveslist = new ArrayList<MoveInterface<Term>>(exprlist.size());
      for(int i=0;i<exprlist.size();i++){
        moveslist.add(new Move<Term>(new Term(((Connective)exprlist.get(i)).getOperands().get(1))));
      }
    }
    return moveslist;
  }
View Full Code Here

Examples of cs227b.teamIago.resolver.ExpList

167
168
169
170
171
172
173
174
175
176
177
178
179
  @SuppressWarnings("unchecked")
  public Collection<? extends FluentInterface<Term>> getFluents(GameState state) {
    Collection<FluentInterface<Term>> fluents=new LinkedList<FluentInterface<Term>>();
    Iterator<ExpList> it=state.getMap().values().iterator();
    while(it.hasNext()){
      ExpList el=it.next();
      for(int i=0;i<el.size();i++){
        Predicate true_expr=(Predicate)el.get(i);
         fluents.add(new Fluent<Term>(new Term(true_expr.getOperands().get(0))));
      }
    }
    return fluents;
  }
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.