当前位置: 首页>>代码示例>>Golang>>正文


Golang Assignment.Get方法代码示例

本文整理汇总了Golang中dpll/assignment.Assignment.Get方法的典型用法代码示例。如果您正苦于以下问题:Golang Assignment.Get方法的具体用法?Golang Assignment.Get怎么用?Golang Assignment.Get使用的例子?那么恭喜您, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在dpll/assignment.Assignment的用法示例。


在下文中一共展示了Assignment.Get方法的3个代码示例,这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞,您的评价将有助于系统推荐出更棒的Golang代码示例。

示例1: ordered

func ordered(db *db.DB, a *assignment.Assignment) (l *cnf.Lit) {
	// find the first in-order unassigned literal
	for i := uint(1); i <= a.Len(); i++ {
		if p, _ := a.Get(i); p == guess.Unassigned {
			return &cnf.Lit{i, cnf.Pos}
		}
	}
	return &cnf.Lit{0, 0}
}
开发者ID:kopptr,项目名称:harmonySAT,代码行数:9,代码来源:branch.go

示例2: random

func random(db *db.DB, a *assignment.Assignment) (l *cnf.Lit) {
	sign := byte((rand.Int() % 2) + 1)
	val := uint((rand.Int() % int(a.Len())) + 1)
	for i := val; i <= a.Len(); i++ {
		if v, _ := a.Get(i); v == guess.Unassigned {
			return &cnf.Lit{i, sign}
		}
	}
	for i := uint(1); i < val; i++ {
		if v, _ := a.Get(i); v == guess.Unassigned {
			return &cnf.Lit{i, sign}
		}
	}
	return &cnf.Lit{0, 0}
}
开发者ID:kopptr,项目名称:harmonySAT,代码行数:15,代码来源:branch.go

示例3: GetNextVmtf

func (lc *LitCounts) GetNextVmtf(a *assignment.Assignment) (l *cnf.Lit) {
	var lit uint
	for i := range lc.vmtf {
		if lc.vmtf[i].lit < 0 {
			lit = uint(-1 * lc.vmtf[i].lit)
		} else {
			lit = uint(lc.vmtf[i].lit)
		}
		if val, err := a.Get(lit); val == guess.Unassigned && err == nil {
			if lc.vmtf[i].lit < 0 {
				return &cnf.Lit{uint(lc.vmtf[i].lit * -1), cnf.Pos}
			} else {
				return &cnf.Lit{uint(lc.vmtf[i].lit), cnf.Pos}
			}
		}
	}
	panic("getNextVmtf is broken")
}
开发者ID:kopptr,项目名称:harmonySAT,代码行数:18,代码来源:litCount.go


注:本文中的dpll/assignment.Assignment.Get方法示例由纯净天空整理自Github/MSDocs等开源代码及文档管理平台,相关代码片段筛选自各路编程大神贡献的开源项目,源码版权归原作者所有,传播和使用请参考对应项目的License;未经允许,请勿转载。