问题列表 - 第9026页

在Haskell中为逻辑表达式生成真值表

第一部分是具有以下类型签名的评估函数:

evaluate :: Logic Expr -> [(Variable, Bool)] -> Bool
Run Code Online (Sandbox Code Playgroud)

这将逻辑表达式和赋值对列表作为输入,并根据提供的布尔赋值返回表达式的值.赋值列表是一个不同的对列表,其中每对包含一个变量及其布尔赋值.也就是说,如果传递给函数表达式A∧B并且赋值A = 1且B = 0,则函数必须返回0(这来自Digital Logic Design,0对应于false,1对应于true).

这是我到目前为止所做的事情:

type Variable =  Char

data LogicExpr = V Variable
                 | Negation  LogicExpr
                 | Conjunction LogicExpr LogicExpr
                 | Disjunction  LogicExpr LogicExpr 
                 | Implication  LogicExpr LogicExpr 


evaluate :: LogicExpr -> [(Variable,Bool)] -> Bool

evaluate (V a) ((x1,x2):xs) | a==x1 = x2
                            | otherwise = (evaluate(V a)xs)

evaluate (Negation a) l | (evaluate a l)==True = False
                        | otherwise = True

evaluate (Conjunction a b) …
Run Code Online (Sandbox Code Playgroud)

logic haskell boolean-logic boolean-expression

3
推荐指数
1
解决办法
4016
查看次数

让ctags + Vim与范围一起工作?

当我使用ctags生成STL的标签并将这些标签与Vim一起使用时,它不知道范围.如果我使用ctrl-],它将转到第一个匹配的标签,即使这是不正确的.例如:

std::list<int> mylist;
mylist.push__back(100);
Run Code Online (Sandbox Code Playgroud)

如果我在光标超过push_back(100)时键入ctrl-],它将转到bitvector的push_back而不是list的实现.

据我所知,ctags不知道范围,但我知道有些Vim插件使用的是ctags,例如OmniCppComplete.是否有人知道任何可以解决此问题的插件或设置?

vim ctags

5
推荐指数
1
解决办法
1099
查看次数

获取IFrame的域名?

如果它正在加载外部页面(例如,维基百科),是否可以获取IFrame设置的当前URL?我见过一些人说如果它不在你自己的服务器上是不可能的,但我发现那些已经有4年了.

如果不可能,是否有更简单的方法在另一个页面内显示页面并仍然可以访问该URL?

谢谢.

html javascript php url iframe

2
推荐指数
1
解决办法
1169
查看次数

如何在Visual Studio网站项目类型中添加引用?

通常,当您添加新程序集时,您必须进入Visual Studio并添加引用(.dll存储在/ bin目录中).

由于本网站即时编译,我是否可以将.dll添加到实时网站,然后在.aspx页面中使用.dll?

目前在Visual Studio中,除非我去"添加引用",否则我看不到.dll.

.net assemblies visual-studio

8
推荐指数
1
解决办法
4816
查看次数

iPhone SDK 2:UIButton无法在从nib文件加载的嵌套视图中工作

我在基于Nib的视图中有一个按钮,它的行为不像按钮(从不调用目标方法).我试图动态添加按钮,但它没有帮助.

我将尝试描述应用程序结构(因为我怀疑它可能导致此问题),我可能没有使用正确的设计模式.

  • 视图A与Controller AC相关联.(从根控制器中的nib加载并推送到导航控制器.)

  • 视图A嵌入了多个子视图.让我们称之为A'.

  • 在AC :: viewDidLoad方法中:

    我将3个viewControllers a,b,c加载到AC的成员变量中.

根据应用程序设置,我将其中一个控制器的视图添加为A'的子视图

基本上在AC :: viewDidLoad方法中:

[A' addSubView:(a.view)];
Run Code Online (Sandbox Code Playgroud)

现在a.view有一个按钮(标记).我搜索该标签.并动态添加目标方法.此时,a.view显示为A'的子视图,按钮也可见.大.

但触摸交互不会发生或触摸操作被我的方法以外的人消耗.

我尝试了很多变化,但执行从未达到我的方法.我甚至尝试将目标添加到所有touchUpEvents.没有.我检查了启用事件中的控件值,这是正确的.该按钮以某种方式被禁用.我用一个视图写了一个简单的应用程序并做了同样的工作.所以我认为这与我将多个部分放在一起的方式有关.

有任何想法吗?

我希望我有类似Spy ++的东西,我可以看到消息队列,看看谁在使用这些消息而不是我的应用程序,甚至看看类对象.我是这个平台的新手. 我之前与之斗争的是这个问题.

iphone uibutton uiviewcontroller

1
推荐指数
1
解决办法
4726
查看次数

如何从Eclipse设置java.library.path

如何为整个Eclipse Project设置java.library.path?我正在使用依赖于OS特定文件的Java库,需要找到.dll/.so/.jnilib.但应用程序始终退出并显示错误消息,指出在库路径中找不到这些文件.

我想配置整个项目以使用库路径.我试图将路径作为VM参数添加到eclipse中的某些运行配置,但这不起作用.

java eclipse configuration buildpath

207
推荐指数
8
解决办法
41万
查看次数

参数和PowerShell函数

我绝对不会在这里得到一些东西:

我正在创建一个简单的函数来复制字符串x次.我对参数有一些奇怪的问题 - 它似乎没有识别第二个参数.当我运行该函数时,它返回一个空字符串.此外,我认为它将2个参数归为1.这是我的代码:


Function Repeat-String([string]$str, [int]$repeat) {
  $builder = new-object System.Text.StringBuilder
  for ($i = 0; $i -lt $repeat; $i++) {[void]$builder.Append($str)}
  $builder.ToString()
}

首先我点源它加载它:

. .\RepeatString.ps1

然后我像这样执行它:

Repeat-string("x", 7)
我期待一串7 x的.我有一个空字符串.

我又去了一些,我改变了"for"循环.我用"-lt 5"替换了"-lt $ repeat"部分,这样我就可以获得固定数量的重复.当我这样做时,我得到以下输出(没有引号):

重复字符串("x",7)

"x 7x 7x 7x 7x 7"

它看起来好像是连接$ str和$ repeat参数而不是像2个独立的参数那样对待它们.我究竟做错了什么?

powershell

5
推荐指数
3
解决办法
9999
查看次数

JQuery选择Id问题

关于选择Id,我有一个jquery问题.

基本上,我从onClick函数调用一个javascript函数,我在控件ID和LabelId中传递.

如果我使用document.getElementById,它将工作,但是,如果我使用jQuery选择器,它不工作.

<script type="text/javascript">
    jQuery.noConflict();
    function ToggleProgressEnable(valueofRadio, controlId, labelId) {

//Comments: the following will work.  
//        var control = document.getElementById(controlId);
//        var label = document.getElementById(labelId);

//The following is not working.
        var control = jQuery("'#" + controlId + "'");
        var label = jQuery("'#" + labelId + "'");
        if (control != null && label!=null) {
            //alert(control.Id);
            //alert(control.disabled);
            if (valueofRadio == "yes") {
                control.disabled = false;                
                label.disabled = false;
            }
            else if (valueofRadio == "no") {
            control.disabled = true;
            control.value = ""; …
Run Code Online (Sandbox Code Playgroud)

javascript jquery

0
推荐指数
1
解决办法
2729
查看次数

如何在安装新版本后保留RMS?

我在诺基亚S40上安装了j2me应用程序.一些配置数据存储在RMS中.是否可以用新版本覆盖已安装的应用程序?如何在新版本中保留RMS?

如果可以在升级时将其设置为默认操作以避免用户意外删除数据?

rms midp java-me

5
推荐指数
1
解决办法
955
查看次数

如何检测我的程序是否在Windows中运行?

我正在编写一个C#控制台应用程序.它将作为计划任务运行.

如果发现另一个进程仍在从先前的计划任务执行中运行,我希望我的EXE快速退出.

我似乎找不到让我的应用程序检测活动进程的方法,因此知道它是否已经运行.

谢谢你的任何想法.彼得

c# windows console

1
推荐指数
1
解决办法
918
查看次数