void function ( Predicate arg0 ) { terms . addAll ( arg0 . terms ) ; }
modifies the predicate to be the conjunction of itself and the specified predicate . concode_field_sep List<Term> terms concode_field_sep Constant equatesWithConstant concode_elem_sep int reductionFactor concode_elem_sep Predicate selectPred concode_elem_sep boolean isSatisfied concode_elem_sep String equatesWithField concode_elem_sep Predicate joinPred concode_elem_sep String toString