public class Intention extends java.lang.Object implements java.io.Serializable, java.lang.Comparable<Intention>, java.lang.Iterable<IntendedMeans>
Constructor and Description |
---|
Intention() |
Modifier and Type | Method and Description |
---|---|
Intention |
clone() |
int |
compareTo(Intention o)
implements atomic intentions > not atomic intentions
|
boolean |
dropGoal(Trigger te,
Unifier un)
remove all IMs until the IM with trigger te
|
boolean |
equals(java.lang.Object o) |
org.w3c.dom.Element |
getAsDOM(org.w3c.dom.Document document)
get as XML
|
Term |
getAsTerm() |
IntendedMeans |
getBottom() |
int |
getId() |
IntendedMeans |
getIM(Trigger g,
Unifier u)
returns the IntendedMeans with TE = g, returns null if there isn't one
|
int |
hashCode() |
boolean |
hasTrigger(Trigger g,
Unifier u)
returns true if the intention has an IM where TE = g, using u to verify equality
|
boolean |
isAtomic() |
boolean |
isFinished() |
boolean |
isSuspended() |
java.util.Iterator<IntendedMeans> |
iterator() |
IntendedMeans |
peek() |
IntendedMeans |
pop() |
void |
push(IntendedMeans im) |
void |
setAtomic(int a) |
void |
setSuspended(boolean b) |
int |
size() |
java.lang.String |
toString() |
public static final Intention EmptyInt
public int getId()
public void push(IntendedMeans im)
public IntendedMeans peek()
public IntendedMeans pop()
public boolean isAtomic()
public void setAtomic(int a)
public java.util.Iterator<IntendedMeans> iterator()
iterator
in interface java.lang.Iterable<IntendedMeans>
public boolean isFinished()
public int size()
public void setSuspended(boolean b)
public boolean isSuspended()
public IntendedMeans getIM(Trigger g, Unifier u)
public IntendedMeans getBottom()
public boolean hasTrigger(Trigger g, Unifier u)
public boolean dropGoal(Trigger te, Unifier un)
public int compareTo(Intention o)
compareTo
in interface java.lang.Comparable<Intention>
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public Intention clone()
clone
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
public Term getAsTerm()
public org.w3c.dom.Element getAsDOM(org.w3c.dom.Document document)