小编Arl*_*Cox的帖子

我正在尝试制作一个有额外数据的条形图.与每个数据点相关联的是来自一个因子的值,该因子指示高度为何的高度.到目前为止,我对我的结果感到满意:

library(ggplot2)

tab <- read.table("http://www.cs.colorado.edu/~coxaj/table2.csv",
            header=T, sep=",", strip.white=T)
tab <- with(tab, tab[order(Analysis, -as.numeric(Analysis)), ])

bar_width <- 0.5
space_width <- 0.8

p <- ggplot(tab, aes(x=Filter,y=Depth,fill=Analysis)) +
  geom_bar(position=position_dodge(width=space_width), width=bar_width) +
  geom_point(position=position_dodge(width=space_width), aes(shape=Termination)) +
  scale_shape_manual(values=c(1,4,5,6)) +
  geom_hline(aes(yintercept=16, linetype=2)) +
  scale_x_discrete(name='') +
  scale_y_continuous(name='Search Depth') +
  scale_fill_manual(values=c("#E66101", "#FDB863", "#B2ABD2", "#5E3C99")) +
  theme_bw()

ggsave(filename='table2.pdf', height=3, width=8)

这会产生如下图:

问题是它将这些毫无意义的圆圈放在分析的图例中.我想删除那个圈子,但保留传说.ggplot2让我这样做吗？

我试图弄清楚为什么我的一些代码将无法编译,并且我做了一些减少匿名化以结束这个例子:

#define NULL ((void*)0)
template<typename T>
class a {
public:
  template<bool b>
  T * amem() {
    return NULL;
  }
};

template<typename T>
class b {
public:
  a<T>* ap;

  template <bool b>
  T * m() {
    return ap->amem<b>();
  }
};

int main()
{
  return 0;
}

根据我使用的编译器和变量的名称,我得到不同的错误.尽管如此,它们都围绕着这条线:

    return ap->amem<b>();

使用clang ++进行编译[Apple clang 4.0版(标签/ Apple/clang-421.0.57)(基于LLVM 3.1svn)],我收到以下消息:

tmp.cpp:18:26: error: expected expression
      return ap->amem<b>();
                         ^
1 error generated.

使用g ++编译[i686-apple-darwin11-llvm-g ++ - 4.2(GCC)4.2.1],我收到以下消息:

tmp.cpp: In member function ‘T* b<T>::m()’:
tmp.cpp:18: error: expected …

我在Z3中使用muZ,它有这个新的广义PDR.我想知道如何获得有关PDR算法的一些数据.PDR算法的不变量如下:

I => F_0
F_i => F_{i+1} for 0 <= i < k
F_i => P for 0 <= i <= k
F_i /\ T => F'_{i + 1}

我真的对终止时k的价值感兴趣.这个统计数据是否以某种方式提供？如果我在查询中启用:print-statistics true,我看不到它:

(query (p x) :print-statistics true)