Package rasj.rasimplementation.rasnet