Interface | Description |
---|---|
PatternScheduler | |
Scheduler |
The Scheduler interface provides a way to manage the backtracking order.
|
Class | Description |
---|---|
DefaultScheduler |
Compute an order over variables from h.
|
FixedOrderScheduler |
Copyright © 2014–2018 GraphIK (INRIA - LIRMM). All rights reserved.