ai.planning.strips
Class Goal.UgConditions

java.lang.Object
  ai.planning.strips.Goal.UgConditions

Enclosing class:

Goal

protected class Goal.UgConditions
extends java.lang.Object

Field Summary

protected ActionType.ArrayGrounding	grounding
protected java.util.List<ai.krr.fol.Atom>	ugneffs
protected java.util.List<ai.krr.fol.Atom>	ugnprecs
protected java.util.List<ai.krr.fol.Atom>	ugpeffs
protected java.util.List<ai.krr.fol.Atom>	ugpprecs

Constructor Summary

Goal.UgConditions(ActionType.ArrayGrounding gnd, ActionType op, java.util.Set<ai.krr.NamedSymbol> statRels)

Goal.UgConditions(ActionType.ArrayGrounding gnd, Goal.UgConditions src)

Method Summary

boolean	equals(Goal.UgConditions ugcs)
boolean	filterFullyGrounds(WorldState state)
void	filterPositivePrecs(WorldState state, java.util.Set<Goal.UgConditions> pgnds)
int	hashCode()
java.lang.String	toString()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

grounding

protected ActionType.ArrayGrounding grounding

ugpprecs

protected java.util.List<ai.krr.fol.Atom> ugpprecs

ugnprecs

protected java.util.List<ai.krr.fol.Atom> ugnprecs

ugpeffs

protected java.util.List<ai.krr.fol.Atom> ugpeffs

ugneffs

protected java.util.List<ai.krr.fol.Atom> ugneffs

Constructor Detail

Goal.UgConditions

public Goal.UgConditions(ActionType.ArrayGrounding gnd,
                         ActionType op,
                         java.util.Set<ai.krr.NamedSymbol> statRels)

Goal.UgConditions

public Goal.UgConditions(ActionType.ArrayGrounding gnd,
                         Goal.UgConditions src)

Method Detail

filterFullyGrounds

public boolean filterFullyGrounds(WorldState state)

filterPositivePrecs

public void filterPositivePrecs(WorldState state,
                                java.util.Set<Goal.UgConditions> pgnds)

equals

public boolean equals(Goal.UgConditions ugcs)

hashCode

public int hashCode()

Overrides:

hashCode in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object