Skip to content

Commit 8a799a9

Browse files
committed
Document preconditions in cycle
1 parent 06a1ea3 commit 8a799a9

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

build/cycle.go

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -22,8 +22,10 @@ func Cycle(n int) *Virtual {
2222
return
2323
})
2424

25+
// Precondition : n ≥ 3.
2526
g.degree = func(v int) int { return 2 }
2627

28+
// Precondition : n ≥ 3.
2729
g.visit = func(v int, a int, do func(w int, c int64) bool) (aborted bool) {
2830
var w [2]int
2931
switch v {

0 commit comments

Comments
 (0)