|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object org.hops.dm.tad.condition
public class condition
conditions that applies on actions. A condition is an attribute that MUST or MUST NOT contain a value, in a given stack. This condition is an AND-of-term. In order to satisfy this condition,
Constructor Summary | |
---|---|
condition()
Creates a new instance of condition |
Method Summary | |
---|---|
void |
addTerm(term _t)
add a new term |
java.lang.Object |
clone()
Creates and returns a copy of this object. |
boolean |
contains(term _t)
checks wheter contains the term |
boolean |
equals(java.lang.Object o)
Indicates whether some other object is "equal to" this one. |
boolean |
equalsTo(condition _c)
Indicates whether a condition is "equal to" this one. |
term |
get(int i)
get |
int |
hashCode()
|
boolean |
is_empty()
Tests if this object has no values |
int |
size()
size |
java.lang.String |
toString()
Returns a string representation of the object. |
Methods inherited from class java.lang.Object |
---|
finalize, getClass, notify, notifyAll, wait, wait, wait |
Constructor Detail |
---|
public condition()
Method Detail |
---|
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object
public boolean equalsTo(condition _c)
public boolean contains(term _t)
public boolean is_empty()
public java.lang.Object clone()
clone
in class java.lang.Object
public void addTerm(term _t)
public java.lang.String toString()
toString
in class java.lang.Object
public int size()
public term get(int i)
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |