Package cs227b.teamIago.resolver

Examples of cs227b.teamIago.resolver.Atom

111
112
113
114
115
116
117
118
119
120
121
122
public static Expression parseExpression(Object _s){
  if (_s instanceof ArrayList)
    _s = ((ArrayList)_s).get(0);
  if (_s instanceof String){
    if (((String)_s).startsWith("?"))
      return new Variable(new Atom((String)_s));
    return new Atom((String)_s);
  }
  Statement s = (Statement) _s;
  String opt = s.operator.toUpperCase();
  Expression res=null;
 
View Full Code Here
179
180
181
182
183
184
185
186
  }
  return res;
}
static Variable parseVariable(String str){
  Variable v=null;
  v = new Variable(new Atom(str));
  return v;
}
View Full Code Here
183
184
185
186
187
188
189
190
191
  Variable v=null;
  v = new Variable(new Atom(str));
  return v;
}
static Atom parseAtom(String str){
  Atom a = null;
  a = new Atom(str);
  return a;
}
View Full Code Here
96
97
98
99
100
101
102
103
104
    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
108
109
110
111
112
113
114
115
116
117
118
119
120
121
      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)+"):");
        logger.severe(e.getMessage());
        return false;
      }
    }
  }
View Full Code Here
TOP

Related Classes of cs227b.teamIago.resolver.Atom

  • cs227b.teamIago.parser.Parser
  • tud.gamecontroller.game.javaprover.Reasoner
    • 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.