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

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

48
49
50
51
52
53
54
55
56
57
58
    {
      return distinct;
    }
    else
    {
      GdlTerm arg1 = substituteTerm(distinct.getArg1(), theta);
      GdlTerm arg2 = substituteTerm(distinct.getArg2(), theta);

      return GdlPool.getDistinct(arg1, arg2);
    }
  }
View Full Code Here
187
188
189
190
191
192
193
194
195
196
197
198
    {
      return variable;
    }
    else
    {
      GdlTerm result = theta.get(variable);
      GdlTerm betterResult = null;

      while (!(betterResult = substituteTerm(result, theta)).equals(result))
      {
        result = betterResult;
      }
View Full Code Here
151
152
153
154
155
156
157
158
159
160
161
162
    //left body contains variables; right body shouldn't
    if(leftBody.size() != rightBody.size()) {
      return false;
    }
    for(int i = 0; i < leftBody.size(); i++) {
      GdlTerm leftTerm = leftBody.get(i);
      GdlTerm rightTerm = rightBody.get(i);
      if(leftTerm instanceof GdlConstant) {
        if(!leftTerm.equals(rightTerm)) {
          return false;
        }
      } else if(leftTerm instanceof GdlVariable) {
View Full Code Here
51
52
53
54
55
56
57
58
59
60
        return GdlPool.getConstant(atom.getValue());
  }

  private static GdlDistinct createDistinct(SymbolList list)
  {
    GdlTerm arg1 = createTerm(list.get(1));
    GdlTerm arg2 = createTerm(list.get(2));

    return GdlPool.getDistinct(arg1, arg2);
  }
View Full Code Here
41
42
43
44
45
46
47
48
49
50
51
        SentenceForm form = SimpleSentenceForm.create(sentence);
        SentenceFormDomain formWithDomain = domainModel.getDomain(form);

        List<GdlTerm> tuple = GdlUtils.getTupleFromSentence(sentence);
        for (int i = 0; i < tuple.size(); i++) {
          GdlTerm term = tuple.get(i);
          if (term instanceof GdlVariable) {
            GdlVariable var = (GdlVariable) term;
            Set<GdlConstant> domain = formWithDomain.getDomainForSlot(i);
            varDomainsByVar.put(var, domain);
          }
View Full Code Here
269
270
271
272
273
274
275
276
277
278
279
280
            return false;
        }
        for (int i = 0; i < originalBody.size(); i++) {
            ConcurrencyUtils.checkForInterruption();

            GdlTerm originalTerm = originalBody.get(i);
            GdlTerm replacementTerm = replacementBody.get(i);
            if (replacementTerm instanceof GdlVariable) {
                if (!(originalTerm instanceof GdlVariable)) {
                    return false;
                }
            } else if (replacementTerm instanceof GdlFunction) {
View Full Code Here
489
490
491
492
493
494
495
496
497
498
499
    }

    for (int i = 0; i < form.getTupleSize(); i++) {
      ConcurrencyUtils.checkForInterruption();

      GdlTerm term = tuple.get(i);
      if (term instanceof GdlConstant) {
        Set<GdlConstant> oldDomainForTerm = oldDomain.get(form).get(i);
        if (oldDomainForTerm.contains(term)) {
          newConstantsByForm.get(form).put(i, (GdlConstant) term);
        }
View Full Code Here
93
94
95
96
97
98
99
100
101
102
103
    Set<GdlVariable> multipleVars = new HashSet<GdlVariable>();
    //...which, of course, means we have to spot non-candidate vars
    Set<GdlVariable> nonCandidateVars = new HashSet<GdlVariable>();

    for(int i = 0; i < tuple.size(); i++) {
      GdlTerm term = tuple.get(i);
      if(term instanceof GdlVariable
          && !multipleVars.contains(term)) {
        GdlVariable var = (GdlVariable) term;
        if(candidateVars.contains(var)
            || nonCandidateVars.contains(var)) {
View Full Code Here
196
197
198
199
200
201
202
203
204
205
206
    }

    private void addRelToMerge(GdlRelation rel, List<Set<GdlConstant>> merge) {
        for(int i=1; i<rel.arity(); i++)
        {
            GdlTerm t = rel.get(i);
            if(!(t instanceof GdlFunction))
                throw new RuntimeException("Incorrectly constructed base props");

            if(merge.size()<i)
                merge.add(new HashSet<GdlConstant>());
View Full Code Here
310
311
312
313
314
315
316
317
318
319
320
            String name = relation.getName().toString();
            if(name.equals("init"))
            {
                if(relation.arity()!=1)
                    throw new RuntimeException("Can't init more than one thing as far as I know.");
                GdlTerm template = relation.get(0);
                if(template instanceof GdlConstant)
                {
                    List<GdlTerm> body = new ArrayList<GdlTerm>();
                    body.add(template);
                    GdlRelation toAdd = GdlPool.getRelation(baseConstant, body);
View Full Code Here
TOP

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

  • org.ggp.base.util.gdl.factory.GdlFactory
  • org.ggp.base.util.gdl.GdlUtils
  • org.ggp.base.util.gdl.model.assignments.AssignmentFunction
  • org.ggp.base.util.gdl.model.assignments.AssignmentsImpl
  • org.ggp.base.util.gdl.model.assignments.FunctionInfoImpl
  • org.ggp.base.util.gdl.model.assignments.FunctionInfos
  • org.ggp.base.util.gdl.model.assignments.IterationOrderCandidate
  • org.ggp.base.util.gdl.model.SentenceDomainModelOptimizer
  • org.ggp.base.util.gdl.model.SentenceDomainModels
  • 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.