本文整理汇总了Golang中testing.B.NewLiteral方法的典型用法代码示例。如果您正苦于以下问题:Golang B.NewLiteral方法的具体用法?Golang B.NewLiteral怎么用?Golang B.NewLiteral使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类testing.B
的用法示例。
在下文中一共展示了B.NewLiteral方法的1个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Golang代码示例。
示例1: BenchmarkBuilder
func BenchmarkBuilder(b *testing.B) {
b.ReportAllocs()
for i := 0; i < b.N; i++ {
b := NewBuilder()
lit := make([]*Robdd, 10)
for j := range lit {
lit[j] = b.NewLiteral(boolean.Var(j))
}
d1 := b.Apply(OpXor, lit[0], lit[1])
d2 := b.Apply(OpOr, lit[2], lit[3])
d3 := b.Apply(OpAnd, lit[4], lit[5])
d4 := b.Apply(OpIff, lit[6], lit[7])
d5 := b.Apply(OpImplies, lit[8], lit[9])
d1 = b.Apply(OpXor, d1, d3)
d2 = b.Apply(OpAnd, d2, d5)
d3 = b.Apply(OpOr, d1, d4)
d4 = b.Apply(OpImplies, d2, d3)
d5 = b.Apply(OpIff, b.NewLiteral(boolean.Var(10)), d4)
}
}