Package javaff.data

Examples of javaff.data.UngroundEffect

117
118
119
120
121
122
123
124
125
126
  {
    boolean rEff = false;
    Iterator lit = literals.iterator();
    while (lit.hasNext() && !(rEff))
    {
      UngroundEffect ue = (UngroundEffect) lit.next();
      rEff = ue.effects(ps);
    }
    return rEff;
  }
View Full Code Here
141
142
143
144
145
146
147
148
149
150
151
152
    {
    Iterator lit = literals.iterator();
    UngroundCondition c = null;
    while (lit.hasNext())
    {
      UngroundEffect p = (UngroundEffect) lit.next();
      UngroundCondition d = p.effectsAdd(cond);
      if (!d.equals(cond)) c=d;
    }
    if (c == null) return cond;
    else return c;
    }
View Full Code Here
156
157
158
159
160
161
162
163
164
165
  {
    AND a = new AND();
    Iterator lit = literals.iterator();
    while (lit.hasNext())
    {
      UngroundEffect p = (UngroundEffect) lit.next();
      a.add(p.groundEffect(varMap));
    }
    return a;
  }
View Full Code Here
66
67
68
69
70
71
72
73
    apply(s);
  }

  public boolean effects(PredicateSymbol ps)
  {
    UngroundEffect ue = (UngroundEffect) literal;
    return ue.effects(ps);
  }
View Full Code Here
TOP

Related Classes of javaff.data.UngroundEffect

  • javaff.data.strips.AND
  • javaff.data.strips.NOT
    • 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.