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

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

293
294
295
296
297
298
299
300
301
302
303
    varsToKeep.retainAll(varsToKeep2);

    //Now we're ready to split it apart
    //Let's make the new rule
    List<GdlTerm> orderedVars = new ArrayList<GdlTerm>(varsToKeep);
    GdlConstant condenserName = sentenceNameSource.getNameWithPrefix(rule.getHead().getName());
    //Make the rule head
    GdlSentence condenserHead;
    if(orderedVars.isEmpty()) {
      condenserHead = GdlPool.getProposition(condenserName);
    } else {
View Full Code Here
183
184
185
186
187
188
189
190
   * @return the integer value of the goal proposition
   */
    private int getGoalValue(Proposition goalProposition)
  {
    GdlRelation relation = (GdlRelation) goalProposition.getName();
    GdlConstant constant = (GdlConstant) relation.get(1);
    return Integer.parseInt(constant.toString());
  }
View Full Code Here
122
123
124
125
126
127
128
129
130
131
132
     */
    private void expandTrue(GdlSentence base, int index, LinkedList<GdlTerm> workingSet, List<GdlRule> results)
    {
        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 })));
        }
View Full Code Here
200
201
202
203
204
205
206
207
208
209
210
                GdlSentence sentence = (GdlSentence) gdl;
                if ( sentence.getName().getValue().equals("base") )
                {
                    if ( sentence.arity() == 1 )
                    {
                        GdlConstant constant = (GdlConstant) sentence.get(0);
                        trues.add(GdlPool.getRule(GdlPool.getRelation(GdlPool.getConstant("true"), new GdlTerm[] { constant })));
                    }
                    else
                    {
                        List<GdlRule> results = new ArrayList<GdlRule>();
View Full Code Here
280
281
282
283
284
285
286
287
288
289
290
291
292
    {
        Map<GdlConstant, List<GdlRule>> templates = new HashMap<GdlConstant, List<GdlRule>>();
        for ( Gdl gdl : description )
        {
            GdlRule rule = (gdl instanceof GdlRule) ? (GdlRule) gdl : GdlPool.getRule((GdlSentence) gdl);
            GdlConstant name = rule.getHead().getName();

            if ( !name.getValue().equals("base") )
            {
                if ( !templates.containsKey(name) )
                {
                    templates.put(name, new ArrayList<GdlRule>());
                }
View Full Code Here
466
467
468
469
470
471
472
473
474
475
476
        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
713
714
715
716
717
718
719
720
721
722
723
        Domain dom = cond.dom;
        Assignments assignments = null;
        for(int i=0; i<cond.template.size(); i++)
        {
            GdlTerm t = cond.template.get(i);
            GdlConstant c = null;
            if(t instanceof GdlVariable)
            {
                GdlVariable v = (GdlVariable)t;
                if(instantiation.containsKey(v))
                    c = instantiation.get(v);
View Full Code Here
33
34
35
36
37
38
39
40
41
42
43
  public List<Role> toRoles(List<GdlSentence> results)
  {
    List<Role> roles = new ArrayList<Role>();
    for (GdlSentence result : results)
    {
      GdlConstant name = (GdlConstant) result.get(0);
      roles.add(new Role(name));
    }

    return roles;
  }
View Full Code Here
66
67
68
69
70
71
72
73
74
75
76
    {
      return function;
    }
    else
    {
      GdlConstant name = renameConstant(function.getName(), renamings);

      List<GdlTerm> body = new ArrayList<GdlTerm>();
      for (int i = 0; i < function.arity(); i++)
      {
        body.add(renameTerm(function.get(i), renamings));
View Full Code Here
142
143
144
145
146
147
148
149
150
151
152
    {
      return relation;
    }
    else
    {
      GdlConstant name = renameConstant(relation.getName(), renamings);

      List<GdlTerm> body = new ArrayList<GdlTerm>();
      for (int i = 0; i < relation.arity(); i++)
      {
        body.add(renameTerm(relation.get(i), renamings));
View Full Code Here
TOP

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

  • org.ggp.base.player.request.factory.RequestFactory
  • org.ggp.base.util.gdl.factory.GdlFactory
  • org.ggp.base.util.gdl.model.AbstractSentenceForm
  • org.ggp.base.util.gdl.model.assignments.AssignmentFunction
  • org.ggp.base.util.gdl.model.assignments.AssignmentIteratorImpl
  • org.ggp.base.util.gdl.model.assignments.AssignmentsImpl
  • org.ggp.base.util.gdl.model.assignments.MutableFunctionInfo
  • org.ggp.base.util.gdl.model.FullSentenceFormDomain
  • org.ggp.base.util.gdl.model.SentenceDomainModelOptimizer
  • org.ggp.base.util.gdl.model.SentenceFormsFinder
    • 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.