returns true iff each state in states evaluates to true through fn . concode_field_sep IStateToBooleanFn<AbsFSMState<?,?>> fnIsInitialState concode_elem_sep IStateToBooleanFn<AbsFSMState<?,?>> fnIsAcceptState concode_field_sep Set<S> getStatesThatEvalToTrue concode_elem_sep boolean eval concode_elem_sep boolean eval concode_elem_sep boolean eval concode_elem_sep Set<TxnEType> getTransitioningEvents concode_elem_sep void findNonPidTransitiveClosure concode_elem_sep boolean isAccept concode_elem_sep boolean isInitial concode_elem_sep Set<NextState> getNextStates concode_elem_sep Set<NextState> getNextStates concode_elem_sep void findTransitiveClosure
boolean function ( Collection < S > arg0 , IStateToBooleanFn < AbsFSMState < ? , ? >> arg1 ) { for ( S loc0 : arg0 ) { if ( ! arg1 . eval ( loc0 ) ) { return false ; } } return true ; }