Package javaff.data

Examples of javaff.data.GroundCondition

77
78
79
80
81
82
83
84
85
86
87
88
    {
    Set newlit = new HashSet(literals.size());
    Iterator it = literals.iterator();
    while (it.hasNext())
    {
      GroundCondition c = (GroundCondition) it.next();
      if (! (c instanceof TrueCondition)) newlit.add(c.staticifyCondition(fValues));
    }
    literals = newlit;
    if (literals.isEmpty()) return TrueCondition.getInstance();
    else return this;
    }
View Full Code Here
179
180
181
182
183
184
185
186
187
188
  public boolean isTrue(State s)
  {
    Iterator cit = literals.iterator();
    while (cit.hasNext())
    {
      GroundCondition c = (GroundCondition) cit.next();
      if (!c.isTrue(s)) return false;
    }
    return true;
  }
View Full Code Here
217
218
219
220
221
222
223
224
225
226
  {
    Set rSet = new HashSet();
    Iterator eit = literals.iterator();
    while (eit.hasNext())
    {
      GroundCondition e = (GroundCondition) eit.next();
      rSet.addAll(e.getConditionalPropositions());
    }
    return rSet;
  }
View Full Code Here
265
266
267
268
269
270
271
272
273
274
  {
    Set rSet = new HashSet();
    Iterator eit = literals.iterator();
    while (eit.hasNext())
    {
      GroundCondition e = (GroundCondition) eit.next();
      rSet.addAll(e.getComparators());
    }
    return rSet;
  }
View Full Code Here
TOP

Related Classes of javaff.data.GroundCondition

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