Package javaff.data

Examples of javaff.data.GroundEffect


    {
    Set newlit = new HashSet(literals.size());
    Iterator it = literals.iterator();
    while (it.hasNext())
    {
      GroundEffect e = (GroundEffect) it.next();
      if (! (e instanceof NullEffect)) newlit.add(e.staticifyEffect(fValues));
    }
    literals = newlit;
    if (literals.isEmpty()) return NullEffect.getInstance();
    else return this;
    }
View Full Code Here


  public void applyAdds(State s)
    {
    Iterator eit = literals.iterator();
    while (eit.hasNext())
    {
      GroundEffect e = (GroundEffect) eit.next();
      e.applyAdds(s);
    }
  }
View Full Code Here

  public void applyDels(State s)
    {
    Iterator eit = literals.iterator();
    while (eit.hasNext())
    {
      GroundEffect e = (GroundEffect) eit.next();
      e.applyDels(s);
    }
  }
View Full Code Here

  {
    Set rSet = new HashSet();
    Iterator eit = literals.iterator();
    while (eit.hasNext())
    {
      GroundEffect e = (GroundEffect) eit.next();
      rSet.addAll(e.getAddPropositions());
    }
    return rSet;
  }
View Full Code Here

  {
    Set rSet = new HashSet();
    Iterator eit = literals.iterator();
    while (eit.hasNext())
    {
      GroundEffect e = (GroundEffect) eit.next();
      rSet.addAll(e.getDeletePropositions());
    }
    return rSet;
  }
View Full Code Here

  {
    Set rSet = new HashSet();
    Iterator eit = literals.iterator();
    while (eit.hasNext())
    {
      GroundEffect e = (GroundEffect) eit.next();
      rSet.addAll(e.getOperators());
    }
    return rSet;
  }
View Full Code Here

TOP

Related Classes of javaff.data.GroundEffect

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.