| name | method, % | block, % |
|---|
| $SWITCH_TABLE$org$opt4j$sat$sat4j$SAT4JSolver$Learning (): int [] | 0% (0/1) | 0% (0/34) |
| $SWITCH_TABLE$org$opt4j$sat$sat4j$SAT4JSolver$Restarts (): int [] | 0% (0/1) | 0% (0/34) |
| SAT4JInstance (int, int, SAT4JSolver$Learning, SAT4JSolver$Restarts): void | 0% (0/1) | 0% (0/116) |
| addConstraint (Constraint): void | 0% (0/1) | 0% (0/74) |
| addVars (int): void | 0% (0/1) | 0% (0/9) |
| getModel (): Model | 0% (0/1) | 0% (0/3) |
| setNVars (int): void | 0% (0/1) | 0% (0/9) |
| setOrder (Order): void | 0% (0/1) | 0% (0/4) |
| solve (): boolean | 0% (0/1) | 0% (0/6) |
| solve (List): boolean | 0% (0/1) | 0% (0/142) |
| toVecInt (Iterable): VecInt | 0% (0/1) | 0% (0/68) |