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) |
getUsedBy
public ATerm term
public static final MemberCreate makeMemberCreate(OriginatingTermCollection bag, ATerm t, Binds binds)
public double getWeight()
getWeight
in interface FormulaCreate
public void dropConditional()
dropConditional
in interface FormulaCreate
public void drop()
drop
in interface FormulaCreate
public void add(Formula origin)
add
in interface FormulaCreate
public boolean isGarbage()
isGarbage
in interface FormulaCreate
public java.lang.String toString()
toString
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public boolean equals(java.lang.Object o)
equals
in class java.lang.Object