初期状態量を設定するメソッドを、各派生クラスに応じて定義します。 入力ストリーム aSr で指定されるファイルからデータを読みとって初期状態量を設定します。 最終状態をファイルに保存するプログラムとつじつまがあうようにしてください。 Declares method "setInitialState()" as abstract method. In classes derived from class Element, its definition should be given. The method which sets up the amount of initial states is defined according to each inherited class.