void function ( final StateVector < GraphNode , LatticeElement > arg0 ) { for ( final GraphNode loc0 : arg0 ) { state . setState ( loc0 , arg0 . getState ( loc0 ) ) ; } }
copies the given state vector into the current state vector . concode_field_sep ITransformationProvider<GraphNode,LatticeElement> transformationList concode_elem_sep Lattice lattice concode_elem_sep IMonotoneDebugger debugger concode_elem_sep IStateVector<GraphNode,LatticeElement> state concode_elem_sep IGraphWalker<GraphNode,ObjectType> walker concode_elem_sep ILatticeGraph<GraphNode> graph concode_field_sep IStateVector<GraphNode,LatticeElement> solve concode_elem_sep void transformState concode_elem_sep List<IInfluencingState<LatticeElement,ObjectType>> getStates