public class DefineCreate extends java.lang.Object implements FormulaCreate
public ScanTerm defined
public double getWeight()
getWeight in interface FormulaCreatepublic boolean isGarbage()
isGarbage in interface FormulaCreatepublic void drop()
drop in interface FormulaCreatepublic void add(Formula origin)
add in interface FormulaCreatepublic final void dropConditional()
dropConditional in interface FormulaCreatepublic java.lang.String toString()
toString in class java.lang.Object