return the constraint , instantiated with the term . concode_field_sep XTerm term concode_elem_sep CConstraint constraint concode_field_sep boolean entails concode_elem_sep XTerm term concode_elem_sep CConstraint constraint concode_elem_sep String toString concode_elem_sep XConstrainedTerm copy concode_elem_sep XConstrainedTerm make concode_elem_sep XConstrainedTerm make concode_elem_sep XConstrainedTerm instantiate concode_elem_sep void addBinding
CConstraint function ( ) { CConstraint loc0 = constraint ( ) ; loc0 = loc0 == null ? ConstraintManager . getConstraintSystem ( ) . makeCConstraint ( ) : loc0 . copy ( ) ; loc0 = loc0 . instantiateSelf ( term ( ) ) ; return loc0 ; }