本文整理匯總了Golang中dpll/assignment.Assignment.Len方法的典型用法代碼示例。如果您正苦於以下問題：Golang Assignment.Len方法的具體用法？Golang Assignment.Len怎麽用？Golang Assignment.Len使用的例子？那麽, 這裏精選的方法代碼示例或許可以為您提供幫助。您也可以進一步了解該方法所在類dpll/assignment.Assignment的用法示例。
在下文中一共展示了Assignment.Len方法的2個代碼示例，這些例子默認根據受歡迎程度排序。您可以為喜歡或者感覺有用的代碼點讚，您的評價將有助於係統推薦出更棒的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}
}示例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}
}