boolean function ( Scan arg0 ) { for ( Term loc0 : terms ) if ( ! loc0 . isSatisfied ( arg0 ) ) return false ; return true ; }
returns true if the predicate evaluates to true with respect to the specified scan . concode_field_sep List<Term> terms concode_field_sep Constant equatesWithConstant concode_elem_sep int reductionFactor concode_elem_sep void conjoinWith concode_elem_sep Predicate selectPred concode_elem_sep String equatesWithField concode_elem_sep Predicate joinPred concode_elem_sep String toString