boolean function ( ) { return false ; }
returns true if this term is an atomic formula . == constraints are represented specially , and not considered atomic formulas . concode_field_sep int TERM_SHRUGS_ABOUT_BEING_BOUND concode_elem_sep long serialVersionUID concode_elem_sep int TERM_MUST_NOT_BE_BOUND concode_elem_sep int TERM_PREFERS_BEING_BOUND concode_field_sep boolean isThis concode_elem_sep XTermKind kind concode_elem_sep List<XNativeEQV> eqvs concode_elem_sep boolean isField concode_elem_sep boolean hasVar concode_elem_sep XNativeTerm subst concode_elem_sep XNativeTerm subst concode_elem_sep int prefersBeingBound concode_elem_sep XNativeTerm accept concode_elem_sep XPromise internIntoConstraint concode_elem_sep boolean isLit concode_elem_sep boolean isBoolean concode_elem_sep boolean okAsNestedTerm concode_elem_sep boolean hasEQV concode_elem_sep int hashCode concode_elem_sep boolean equals concode_elem_sep XNativeTerm clone concode_elem_sep XNativeTerm nf concode_elem_sep XPromise nfp concode_elem_sep String toString concode_elem_sep boolean isEQV concode_elem_sep boolean isSelf