Package org.ggp.base.util.gdl.grammar

Examples of org.ggp.base.util.gdl.grammar.GdlFunction

253
254
255
256
257
258
259
260
261
262
263
264
265
        GdlVariable var = (GdlVariable) term;
        if (varsToModelsMap.containsKey(var)) {
          varsToModelsMap.get(var).mergeIn(termModel);
        }
      } else if (term instanceof GdlFunction) {
        GdlFunction function = (GdlFunction) term;
        List<TermModel> functionBodyModel = termModel.getFunctionBodyModel(function);
        if (functionBodyModel != null) {
          addVariablesToMap(function.getBody(), functionBodyModel, varsToModelsMap);
        }
      }
    }
  }
View Full Code Here
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
    public boolean addTerm(GdlTerm term, Map<GdlVariable, TermModel> varsToModelsMap) {
      boolean changesMade = false;
      if (term instanceof GdlConstant) {
        changesMade = possibleConstants.add((GdlConstant) term);
      } else if (term instanceof GdlFunction) {
        GdlFunction function = (GdlFunction) term;
        NameAndArity sentenceName = new NameAndArity(function);
        if (!possibleFunctions.containsKey(sentenceName)) {
          changesMade = true;
          possibleFunctions.put(sentenceName, getNTermModels(function.arity()));
        }
        changesMade |= addBodyToModel(possibleFunctions.get(sentenceName), function.getBody(), varsToModelsMap);
      } else if (term instanceof GdlVariable) {
        changesMade = mergeIn(varsToModelsMap.get(term));
      } else {
        throw new RuntimeException("Unrecognized term type " + term.getClass() + " for term " + term);
      }
View Full Code Here
426
427
428
429
430
431
432
433
434
435
436
437
438
          return false;
        }
        assignment.put(var, (GdlConstant)refTerm);
      } else if(headTerm instanceof GdlFunction) {
        //Recurse on the body
        GdlFunction headFunction = (GdlFunction) headTerm;
        GdlFunction refFunction = (GdlFunction) refTerm;
        if(!setVariablesInHead(headFunction.getBody(), refFunction.getBody(), assignment))
          return false;
      }
    }
    return true;
  }
View Full Code Here
106
107
108
109
110
111
112
113
114
115
116
        return false;
      } else if (term instanceof GdlFunction) {
        if (!functions.containsKey(i)) {
          return false;
        }
        GdlFunction function = (GdlFunction) term;
        SimpleSentenceForm functionForm = functions.get(i);
        if (!functionForm.matches(function)) {
          return false;
        }
      }
View Full Code Here
131
132
133
134
135
136
137
138
139
140
141
        return false;
      } else if (term instanceof GdlFunction) {
        if (!functions.containsKey(i)) {
          return false;
        }
        GdlFunction innerFunction = (GdlFunction) term;
        SimpleSentenceForm functionForm = functions.get(i);
        if (!functionForm.matches(innerFunction)) {
          return false;
        }
      }
View Full Code Here
125
126
127
128
129
130
131
132
133
134
135
        if ( base.arity() == index )
        {
            GdlConstant name = (GdlConstant) base.get(0);
            List<GdlTerm> body = new ArrayList<GdlTerm>(workingSet);

            GdlFunction function = GdlPool.getFunction(name, body);
            results.add(GdlPool.getRule(GdlPool.getRelation(GdlPool.getConstant("true"), new GdlTerm[] { function })));
        }
        else
        {
            for ( GdlTerm term : ((GdlFunction) base.get(index)).getBody() )
View Full Code Here
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
        {
            return gdl;
        }
        else if(gdl instanceof GdlFunction)
        {
            GdlFunction func = (GdlFunction)gdl;
            List<GdlTerm> body = new ArrayList<GdlTerm>();
            for(int i=0; i<func.arity(); i++)
            {
                body.add((GdlTerm)getInstantiationAux(func.get(i), varInstantiation));
            }
            return GdlPool.getFunction(func.getName(), body);
        }
        else if(gdl instanceof GdlVariable)
        {
            GdlVariable variable = (GdlVariable)gdl;
            return varInstantiation.get(variable);
View Full Code Here
424
425
426
427
428
429
430
431
432
433
434
            return rval;
        }
        else if(term instanceof GdlVariable)
            throw new RuntimeException("Called getConstantList on something containing a variable.");

        GdlFunction func = (GdlFunction)term;
        for(GdlTerm t : func.getBody())
            rval.addAll(getConstantList(t));

        return rval;
    }
View Full Code Here
444
445
446
447
448
449
450
451
452
453
454
        {
            rval.add(term);
            return rval;
        }

        GdlFunction func = (GdlFunction)term;
        for(GdlTerm t : func.getBody())
            rval.addAll(getConstantAndVariableList(t));

        return rval;
    }
View Full Code Here
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
        if(term instanceof GdlConstant)
            return fillerVar;
        else if(term instanceof GdlVariable)
            return fillerVar;

        GdlFunction func = (GdlFunction)term;
        List<GdlTerm> newBody = new ArrayList<GdlTerm>();
        for(GdlTerm t : func.getBody())
            newBody.add(findGenericForm(t));
        GdlConstant name = func.getName();
        if(name==legalConst)
            name=doesConst;
        else if(name==nextConst)
            name=trueConst;
        else if(name==initConst)
View Full Code Here
TOP

Related Classes of org.ggp.base.util.gdl.grammar.GdlFunction

  • org.ggp.base.apps.kiosk.games.TicTacToeCanvas_Reference
  • org.ggp.base.util.gdl.GdlUtils
  • org.ggp.base.util.gdl.model.assignments.AssignmentsImpl
  • org.ggp.base.util.gdl.model.SentenceFormsFinder
  • org.ggp.base.util.gdl.model.SentenceFormsFinder$TermModel
  • org.ggp.base.util.gdl.model.SimpleSentenceForm
  • org.ggp.base.util.gdl.transforms.CommonTransforms
  • org.ggp.base.util.gdl.transforms.GdlCleaner
  • org.ggp.base.util.gdl.transforms.VariableConstrainer
  • org.ggp.base.util.gdl.transforms.VariableConstrainer$Ambiguity
    • 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.