Package stanfordlogic.gdl

Examples of stanfordlogic.gdl.GdlExpression

30
31
32
33
34
35
36
37
38
39
40
    this.parser=parser;
  }
 
  public Term getTermFromKIF(String kif) throws InvalidKIFException {
    try{
      GdlExpression gdlExpr=parser.parse(kif).getElement(0);
      return new Term(parser.getSymbolTable(), stanfordlogic.prover.Term.buildFromGdl(gdlExpr));
    }catch(Exception ex){
      throw new InvalidKIFException("Exception while parsing \""+kif+"\":"+ex);
    }
  }
View Full Code Here
48
49
50
51
52
53
54
55
56
57
58
        assertEquals(5, makeTerm("(f (g ?x) (h ?y))").getTotalColumns());
    }
   
    private Term makeTerm(String str)
    {
        GdlExpression exp = parser_.parse(str).getElement(0);
       
        if ( exp instanceof GdlVariable )
            return TermVariable.makeTermVariable();
        else
            return Term.buildFromGdl(exp);
View Full Code Here
95
96
97
98
99
100
101
102
103
   
    private GroundFact parseAction(Action action)
    {
        String actionString = new String(action.charArray);
       
        GdlExpression content = GameManager.getParser().parse(actionString);
        content = ((GdlList)content).getElement(0);
        return GroundFact.fromExpression(content);
    }
View Full Code Here
100
101
102
103
104
105
106
107
108
109
110
            // Convert each term
            Term [] terms = new Term [list.getArity()];
           
            for ( int i = 0; i < list.getArity(); i++ )
            {
                GdlExpression elem = list.getElement(i+1);
               
                if ( elem instanceof GdlVariable == false)
                    terms[i] = Term.buildFromGdl(elem, varMap);
                else
                {
View Full Code Here
43
44
45
46
47
48
49
50
51
52
53
     */
    @Override
    protected void execute() throws IOException
    {
        // Tell the game manager that the game ended, passing in the previous moves
        GdlExpression prevMoves = content_.getElement(2);
       
        if (prevMoves instanceof GdlList == false) {
            logger_.severe(gameId_ + ": Previous move list in STOP message was not a GDL list!");
            finish();
            return;
View Full Code Here
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
        {
            throw new IllegalArgumentException( "PLAY request should have exactly three arguments, not "
                    + content_.getSize() );
        }
       
        GdlExpression prevExp = content_.getElement(2);
        GdlList prevMoves;
       
        StringBuilder prevMovesStr = new StringBuilder();
       
        if ( prevExp instanceof GdlList )
        {
            prevMoves = (GdlList) content_.getElement(2);
           
            prevMovesStr.append(" Previous moves: ");
           
            for ( GdlExpression exp: prevMoves )
            {
                prevMovesStr.append( exp.toString() );
                prevMovesStr.append("  ");
            }
        }
        else
        {
            // make sure it's an atom containing NIL
            if ( prevExp instanceof GdlAtom == false || prevExp.equals( GameManager.getParser().TOK_NIL ) == false )
                throw new IllegalArgumentException("PLAY request doesn't have LIST and doesn't have NIL atom as prev-moves!");
            prevMoves = null; // empty prev moves
        }
       
        Gamer game = GameManager.getGame(gameId_);
View Full Code Here
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
        // Now parse the content, only reading as much as contentLength
        InputStream contentInput;

        contentInput = new LengthInputStream(input, header.contentLength_);

        GdlExpression content = GameManager.getParser().parse(contentInput);

        RequestHandler handler;

        // Find out what kind of message it was, and create the appropriate
        // RequestHandler subclass
        if ( content instanceof GdlList )
            handler = createFromList(socket, header, (GdlList) content);
        else
        {
            throw new IllegalArgumentException("Can't handle gdl expression of type "
                                               + content.getClass().getName()
                                               + " during request handling");
        }

        handler.setManager(manager);
        return handler;
View Full Code Here
154
155
156
157
158
159
160
161
162
163
164
       
        Triple<Term, String, String> move = moveThink();
       
        // Convert the Term to a GdlExpression
       
        GdlExpression moveGdl;
       
        if (move == null || move.first == null) {
            logger_.severe(gameId_ + ": move returned by moveThink was null");
            moveGdl = new GdlAtom(symbolTable_, parser_.TOK_NIL);
            move = new Triple<Term, String, String>(null, "", "");
View Full Code Here
226
227
228
229
230
231
232
233
234
235
236
       
        Map<GdlVariable, TermVariable> varMap = new HashMap<GdlVariable, TermVariable>();
       
        for ( int i = 0; i < list.getArity(); i++ )
        {
            GdlExpression exp = list.getElement(i+1);
           
            if ( (exp instanceof GdlVariable) == false )
            {
                terms[i] = Term.buildFromGdl( exp, varMap );
               
View Full Code Here
272
273
274
275
276
277
278
279
280
281
282
       
        Map<GdlVariable, TermVariable> varMap = new HashMap<GdlVariable, TermVariable>();
       
        for ( int i = 0; i < list.getArity(); i++ )
        {
            GdlExpression exp = list.getElement(i+1);
           
            if ( (exp instanceof GdlVariable) == false )
                terms[i] = Term.buildFromGdl( exp, varMap );
            else
            {
View Full Code Here
TOP

Related Classes of stanfordlogic.gdl.GdlExpression

  • fr.irit.halterego.jocular.GGPEnvironment
  • fr.irit.halterego.jocular.network.PlayRequestHandler
  • fr.irit.halterego.jocular.network.StopRequestHandler
  • stanfordlogic.game.Gamer
  • stanfordlogic.jocular.network.PlayRequestHandler
  • stanfordlogic.jocular.network.StopRequestHandler
  • stanfordlogic.network.RequestHandlerFactory
  • stanfordlogic.prover.Term
  • stanfordlogic.prover.VariableFact
  • stanfordlogic.test.prover.TestTerms
    • 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.