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

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

608
609
610
611
612
613
614
615
616
617
618
  }
  private static void addFunctionsInBody(List<GdlTerm> body,
      List<GdlFunction> functions) {
    for(GdlTerm term : body) {
      if(term instanceof GdlFunction) {
        GdlFunction function = (GdlFunction) term;
        functions.add(function);
        addFunctionsInBody(function.getBody(), functions);
      }
    }
  }
View Full Code Here
92
93
94
95
96
97
98
99
100
101
102
103
      if(term instanceof GdlConstant) {
        tuple.add(term);
      } else if(term instanceof GdlVariable) {
        tuple.add(term);
      } else if(term instanceof GdlFunction){
        GdlFunction function = (GdlFunction) term;
        addBodyToTuple(function.getBody(), tuple);
      } else {
        throw new RuntimeException("Unforeseen Gdl tupe in SentenceModel.addBodyToTuple()");
      }
    }
  }
View Full Code Here
121
122
123
124
125
126
127
128
129
130
131
132
      if(term instanceof GdlConstant) {
        tuple.add((GdlConstant) term);
      } else if(term instanceof GdlVariable) {
        throw new RuntimeException("Asking for a ground tuple of a non-ground sentence");
      } else if(term instanceof GdlFunction){
        GdlFunction function = (GdlFunction) term;
        addBodyToGroundTuple(function.getBody(), tuple);
      } else {
        throw new RuntimeException("Unforeseen Gdl tupe in SentenceModel.addBodyToTuple()");
      }
    }
  }
View Full Code Here
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
          assignment.put((GdlVariable)leftTerm, (GdlConstant)rightTerm);
        }
      } else if(leftTerm instanceof GdlFunction) {
        if(!(rightTerm instanceof GdlFunction))
          return false;
        GdlFunction leftFunction = (GdlFunction) leftTerm;
        GdlFunction rightFunction = (GdlFunction) rightTerm;
        if(!leftFunction.getName().equals(rightFunction.getName()))
          return false;
        if(!fillAssignmentBody(assignment, leftFunction.getBody(), rightFunction.getBody()))
          return false;
      }
    }
    return true;
  }
View Full Code Here
203
204
205
206
207
208
209
210
211
212
213
214
215
                throw new RuntimeException("Incorrectly constructed base props");

            if(merge.size()<i)
                merge.add(new HashSet<GdlConstant>());

            GdlFunction f = (GdlFunction)t;
            Set<GdlConstant> dom = merge.get(i-1);
            for(GdlTerm t2 : f.getBody())
            {
                if(!(t2 instanceof GdlConstant))
                    throw new RuntimeException("Incorrectly constructed base props: something other than a constant");
                dom.add((GdlConstant)t2);
            }
View Full Code Here
267
268
269
270
271
272
273
274
275
276
277
278
279
        {
            universe.add((GdlConstant)gdl);
        }
        else if(gdl instanceof GdlFunction)
        {
            GdlFunction func = (GdlFunction)gdl;
            for(Gdl gdl2 : func.getBody())
                processGdl(gdl2, func.getName());
        }
        else if(gdl instanceof GdlDistinct)
        {
            GdlDistinct distinct = (GdlDistinct)gdl;
            processGdl(distinct.getArg1(), null);
View Full Code Here
330
331
332
333
334
335
336
337
338
339
340
341
                    baseRelations.add(toAdd);
                    System.err.println("Weird init of variable");
                }
                else if(template instanceof GdlFunction)
                {
                    GdlFunction func = (GdlFunction)template;
                    instantiateBaseProps(func.toSentence());
                }
            }
        }
        else if(gdl instanceof GdlRule)
        {
View Full Code Here
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
            GdlTerm arg = template.get(i);
            if(arg instanceof GdlConstant)
            {
                List<GdlTerm> domBody = new ArrayList<GdlTerm>();
                domBody.add(arg);
                GdlFunction dom = GdlPool.getFunction(GdlPool.getConstant("val"), domBody);
                body.add(dom);
            }
            else if(arg instanceof GdlVariable)
            {
                List<GdlTerm> domBody = new ArrayList<GdlTerm>();
                Location loc = new Location();
                loc.idx = i;
                loc.name = template.getName();
                Domain varDom = domains.get(loc);
                if(varDom == null)
                    throw new RuntimeException("Unexpected domain: "+loc+" encountered.");
                domBody.addAll(varDom.values);
                GdlFunction dom = GdlPool.getFunction(GdlPool.getConstant("val"), domBody);
                body.add(dom);
            }
            else if(arg instanceof GdlFunction)
            {
                throw new RuntimeException("Don't know how to deal with functions within next/init.");
View Full Code Here
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
            GdlConstant constant = (GdlConstant)term;
            dom.values.add(constant);
        }
        else if(term instanceof GdlFunction)
        {
            GdlFunction func = (GdlFunction)term;
            int i=0;
            for(GdlTerm t2 : func.getBody())
            {
                addDomain2(t2, func.getName(), i, RHS);
                i++;
            }
        }
        else if(term instanceof GdlVariable)
        {
View Full Code Here
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
//          GdlConstant constant = (GdlConstant)gdl;
            //Just a constant
        }
        else if(gdl instanceof GdlFunction)
        {
            GdlFunction func = (GdlFunction)gdl;
            for(int i=0; i<func.arity(); i++)
            {
                Location parent = new Location();
                parent.name = func.getName();
                parent.idx = i;
                rval.addAll(findAllInstancesOf(var, func.get(i), parent));
            }
        }
        else if(gdl instanceof GdlVariable)
        {   //This is the interesting one
            GdlVariable variable = (GdlVariable)gdl;
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.