一些不常用C语言关键字

volatile 该关键字是一个类型修饰符,提醒编译器它后面所定义的变量随时有可能改变,因此编译后的程序每次需要存储或读取这个变量的时候,都会直接从变量地址中读取数据 typedef typedef int myint; 声明类型:int a;等价于myint a; typedef void (*f… ...more

May 21, 2022 [编程] #C语言 #tips

Yew框架实现秒表

实现计数器 用Yew框架实现一个web定时器,首先Interval实现一个简单的计数器,每10ms发送Msg UpdateTime并组件的update方法中调用tick方法,更新时间。 use gloo::timers::callback::Interval; use yew::{html, Com… ...more

April 03, 2022 [编程] #rust #webassembly #Yew

从CNF到DPLL算法

从三个问题出发: 什么是CNF? 如何将逻辑表达式转化为CNF? 什么是DPLL算法? 合取范式(CNF,conjunctive normal form) CNF是指一系列逻辑表达式的合取,每一个子逻辑表达式都为下列类型之一: 为原子表达式(例如:$ p $,$ \lnot p$) 为原子表达… ...more

March 12, 2022 [算法] #CNF #DPLL