如何在点击它时更改matplotlib按钮的标签？就像我有一个标签为"之前"的matplotlib按钮,我想点击它并将标签更改为"After".我该怎么做呢？我觉得我应该知道这一点,但我真的在网上或文档中找不到任何东西.
我如何定义一个谓词，例如even: Int -> Bool，它接受一个整数并输出它是否为偶数？
我尝试过类似的东西
(set-logic AUFNIRA)
(declare-fun even (Int) Bool)
例如，我想知道如何声明这even(2)是真的。