lifts a bitset over states in the automaton to a bitset over states in the product model : a bit is set in the result for a product state if the bit is set in the parameter for the corresponding automaton state . concode_field_sep M productModel concode_elem_sep M originalModel concode_field_sep int getAutomatonState concode_elem_sep M getTransformedModel concode_elem_sep M getOriginalModel concode_elem_sep M getProductModel concode_elem_sep StateValues projectToOriginalModel concode_elem_sep int getModelState concode_elem_sep BitSet liftFromModel
BitSet function ( BitSet arg0 ) { BitSet loc0 = new BitSet ( ) ; for ( int loc1 = 0 ; loc1 < productModel . getNumStates ( ) ; loc1 ++ ) { if ( arg0 . get ( getAutomatonState ( loc1 ) ) ) { loc0 . set ( loc1 , true ) ; } } return loc0 ; }