QzZq

摘要： 前面的话：在此之前，如果我接到一个解析文本的工作，我会逐行读取并存储我想要的数据再去处理数据。最近，工作中需要去解析verilog代码，相信verilog有许多人都用过，各关键字有相对应的含义和用法，很明显不能通过上述的方法来做，大概浏览了github，给我这个没有学过编译原理的人指出了一条明路：y 阅读全文

摘要： find . -name '*.pdf' 阅读全文

摘要： 前面的话：定义一个类，会显式或隐式的指定在此类型的对象拷贝、移动、赋值和销毁时做什么。通过定义五种特殊的成员函数来控制这些操作，他们分别是：拷贝构造函数、拷贝赋值运算符、移动构造函数、移动赋值运算符和析构函数。我们称这些操作是拷贝控制操作。 从拷贝构造函数开始： Q1：什么是拷贝构造函数？ A1：如 阅读全文

摘要： Q1：DC生成的.svf文件能通过文本打开吗？ A1：不能，但是formality吃进去之后会生成一个svf.txt文件，可以通过文本打开。 Summary 1：Formality用户手册以及其他 forug.pdf： user guide frmn.pdf： error page frmn1.pd 阅读全文

摘要： 我的使用情景： 因为要从官网上下载CNF文件做测试，但是官网里每一个URL对应一个CNF文件，总共400个文件，肯定不能手动下载。 步骤： 1、首先将所有URL保存到一个.txt内，如图所示。 2、python代码如下 # -- coding:UTF-8 --<code> import reques 阅读全文

摘要： 输入整数数组 arr ，找出其中最小的 k 个数。例如，输入4、5、1、6、2、7、3、8这8个数字，则最小的4个数字是1、2、3、4。 示例 1： 输入：arr = [3,2,1], k = 2 输出：[1,2] 或者 [2,1] 示例 2： 输入：arr = [0,1,2,1], k = 1 输 阅读全文

摘要： 给你一个长度为 n 的链表，每个节点包含一个额外增加的随机指针 random ，该指针可以指向链表中的任何节点或空节点。 构造这个链表的 深拷贝。 深拷贝应该正好由 n 个 全新 节点组成，其中每个新节点的值都设为其对应的原节点的值。新节点的 next 指针和 random 指针也都应指向复制链表中 阅读全文

摘要： 多级双向链表中，除了指向下一个节点和前一个节点指针之外，它还有一个子链表指针，可能指向单独的双向链表。这些子列表也可能会有一个或多个自己的子项，依此类推，生成多级数据结构，如下面的示例所示。 给你位于列表第一级的头节点，请你扁平化列表，使所有结点出现在单级双链表中。 #include <iostre 阅读全文

摘要： 将两个升序链表合并为一个新的 升序 链表并返回。新链表是通过拼接给定的两个链表的所有节点组成的。 #include <iostream> using namespace std; struct ListNode { int val; ListNode *next; ListNode() : val( 阅读全文

摘要： tbc 阅读全文