public abstract class Goals<F extends Fact> extends java.lang.Object
Goals()
void
add(F f)
add(F f, int priority)
boolean
has_goals()
F
next()
java.util.List<F>
toList()
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
public Goals()
public boolean has_goals()
public F next()
public void add(F f)
public void add(F f, int priority)
public java.util.List<F> toList()