public class MemberCreate extends TerminalUpdatable implements FormulaCreate
| Modifier and Type | Method and Description |
|---|---|
void |
add(Formula origin) |
void |
drop() |
void |
dropConditional() |
boolean |
equals(java.lang.Object o) |
double |
getWeight() |
int |
hashCode() |
boolean |
isGarbage() |
boolean |
isReady() |
static MemberCreate |
makeMemberCreate(OriginatingTermCollection bag,
ATerm t,
Binds binds) |
java.lang.String |
toString() |
void |
update(Function source,
java.lang.Object... msg) |
getUsedBypublic ATerm term
public static final MemberCreate makeMemberCreate(OriginatingTermCollection bag, ATerm t, Binds binds)
public double getWeight()
getWeight in interface FormulaCreatepublic void dropConditional()
dropConditional in interface FormulaCreatepublic void drop()
drop in interface FormulaCreatepublic void add(Formula origin)
add in interface FormulaCreatepublic boolean isGarbage()
isGarbage in interface FormulaCreatepublic java.lang.String toString()
toString in class java.lang.Objectpublic int hashCode()
hashCode in class java.lang.Objectpublic boolean equals(java.lang.Object o)
equals in class java.lang.Object