Impl of  A-Algorithm