void function ( Set < String > arg0 ) { for ( Assignment loc0 : groundings ) { loc0 . removeAll ( arg0 ) ; } }
removes the given variables from the assignments concode_field_sep Set<Assignment> groundings concode_elem_sep Logger log concode_field_sep void add concode_elem_sep void add concode_elem_sep void add concode_elem_sep void extend concode_elem_sep void extend concode_elem_sep void extend concode_elem_sep void extend concode_elem_sep boolean isFailed concode_elem_sep void removeValue concode_elem_sep int hashCode concode_elem_sep boolean equals concode_elem_sep boolean isEmpty concode_elem_sep String toString concode_elem_sep RuleGrounding copy concode_elem_sep void setAsFailed concode_elem_sep Set<Assignment> getAlternatives